rbraun/x15.git - The X15 microkernel

Age	Commit message (Collapse)	Author
2018-02-20	kern/llsync: remove module	Richard Braun

2018-02-20	Rework the initialization operations of some kernel modules	Richard Braun
	In order to avoid workarounds that check whether a module is ready or not, break the initialization of some core modules into a bootstrap step for basic BSP initialization, and a setup step that completes initialization. Most users only need the bootstrap operation as a dependency, especially since scheduling isn't enabled yet.
2018-02-20	kern/rcu: new module	Richard Braun
	This module implements preemptible RCU.
2017-09-06	Use new thread_check_intr_context function consistently	Richard Braun

2017-08-27	kern/timer: new module	Richard Braun

2017-08-27	kern/clock: new module	Richard Braun