summaryrefslogtreecommitdiff
path: root/kern/kernel.h
AgeCommit message (Expand)Author
2018-02-24Don't use reserved identifiersRichard Braun
2017-09-21New build systemRichard Braun
2017-06-25Use the C11 alignas and noreturn macrosRichard Braun
2014-01-02kern/kernel: update kernel entry declarationsRichard Braun
2012-12-12Simplify requirements on interrupts during initializationRichard Braun
2012-12-11Adjust interrupts configuration on kernel entryRichard Braun
2012-10-16Rework the build systemRichard Braun
2012-09-30Initial commitRichard Braun