rbraun/x15.git - The X15 microkernel

Age	Commit message (Collapse)	Author
2013-07-06	another set of small structural changes	Richard Braun

2013-07-06	entry lookup	Richard Braun

2013-06-09	kern/rdxtree: new module	Richard Braun
	This module implements radix trees, a data structure consisting of a tree of arrays which can store many items while guaranteeing a small maximum tree height.
2013-05-19	kern/cpumap: new module	Richard Braun

2013-01-11	kern/thread: improve processor-local scheduling	Richard Braun
	This change introduces scheduling classes, including support for real-time and time-sharing threads. The real-time class matches the requirements of the POSIX SCHED_FIFO and SCHED_RR policies. The time-sharing class makes use of a scheduling algorithm based on group ratio round-robin (GR3) to provide proportional fairness.
2012-09-30	Initial commit	Richard Braun