rbraun/x15.git - The X15 microkernel

Age	Commit message (Collapse)	Author
2013-03-14	kern/{kernel,thread}: rework initialization	Richard Braun
	Make cpu_count() available on kernel entry so that modules (and in particular the thread module) can allocate per-CPU resources from the BSP. This makes the initial state stable and simplifies code (no need to check for a transient early initialization state).
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-12	kern/thread: support multiprocessor scheduling	Richard Braun
	In practice, this merely means an idle thread now exists for each CPU, and threads can be preempted and rescheduled on each of them. There is currently no migration between processors.
2012-12-11	Adjust interrupts configuration on kernel entry	Richard Braun

2012-11-19	kern/thread: preliminary scheduling implementation	Richard Braun
	This change adds periodic timer interrupt reporting to the thread module, basic thread selection, and context switching. It currently only applies to the main processor. The x86/tcb module has been drastically simplified as a side effect.
2012-11-09	Implement preliminary thread context	Richard Braun
	Three new modules are added : - kern/task: Tasks are thread groups and resource containers for their threads. - kern/thread: The well known scheduling unit. - x86/tcb: The architecture specific thread control block. The kernel currently loads a single thread context on the main processor.
2012-09-30	Initial commit	Richard Braun