rbraun/x15.git - The X15 microkernel

Age	Commit message (Collapse)	Author
2019-09-13	Fix the documentation according to the memory modelmemory_model_dev	Richard Braun
	Also, change the ordering requirements of some operations.
2019-08-16	Document and reimplement RCU read-side critical section primitives	Richard Braun

2019-08-16	Reword RCU guarantees	Richard Braun

2018-02-24	Don't use reserved identifiers	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.