rbraun/x15.git - The X15 microkernel

Age	Commit message (Collapse)	Author
2018-02-24	Don't use reserved identifiers	Richard Braun

2017-09-21	New build system	Richard Braun
	The new build system, called xbuild, is a minimalistic kbuild-like make-based build system, also using kconfig for scalable configurations.
2017-06-25	Use the C11 alignas and noreturn macros	Richard Braun

2014-01-02	kern/kernel: update kernel entry declarations	Richard Braun
	Tell the compiler these functions don't return.
2012-12-12	Simplify requirements on interrupts during initialization	Richard Braun
	Don't involve the pmap module directly, as there could be others. Make the cpu module completely responsible for synchronizing all processors on kernel entry so that interrupts can be explicitely enabled there.
2012-12-11	Adjust interrupts configuration on kernel entry	Richard Braun

2012-10-16	Rework the build system	Richard Braun
	Architecture specific stuff is now completely isolated in its arch/xxx directory. The install and dist targets have been fixed, as well as the source file list. Autoconf strictness is reduced to foreign, and the now unneeded files have been removed. Additions to the generated config.h header can be added in the global kern/config.h or the architecture specific machine/config.h headers.
2012-09-30	Initial commit	Richard Braun