rbraun/x15.git - The X15 microkernel

Age	Commit message (Collapse)	Author
2018-06-25	kern/percpu: introduce per-CPU operations	Richard Braun

2018-02-24	New errno.h standard header	Richard Braun
	Use standard errno codes. This change also adds strerror to string.h.
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-07-13	Switch to initialization operations	Richard Braun

2017-06-22	kern/macros: move the __read_mostly macro here	Richard Braun

2017-06-10	Use log functions where appropriate	Richard Braun

2017-05-30	Move assert.h to the include directory	Richard Braun
	This turns assert.h into a standard header.
2017-04-29	New stdio.h standard header	Richard Braun
	Make kernel code obtain definitions for the printf family of functions through the inclusion of the standard stdio.h header.
2017-04-29	kern/printk: rename to printf	Richard Braun
	The printk functions are close enough to the printf ones to bear the same names.
2017-04-10	Rename section end symbols	Richard Braun

2017-03-14	Use the X15 namespace consistently for macros defined by autoconf	Richard Braun

2017-02-04	Clean up compilation	Richard Braun
	Instead of mixing standard headers and internal redefinitions of standard types, completely rely on the compiler for what is guaranteed for a free standing environment. This results in the removal of kern/stddef.h and kern/stdint.h. The kern/types.h header is reintroduced for the different (and saner) purpose of defining types not specified in standard C, namely ssize_t for now.
2017-01-13	Replace unsigned long with uintptr_t for integer/pointer conversions	Richard Braun
	This is mostly done for the machine-independent part.
2016-12-09	Force brackets around one-line conditional statements	Richard Braun
	This change was done using astyle, with a few manual editing here and there.
2014-12-10	kern/percpu: directmap update	Richard Braun

2014-11-17	vm/vm_kmem: minor interface updates	Richard Braun
	Make functions accept and return pointers instead of integers. Most users of the kernel allocator directly use the returned addresses. Pointers make that more practical.
2014-10-09	kern/percpu: make percpu_area check its return value	Richard Braun

2014-09-05	kern/percpu: fix check on percpu section size	Richard Braun

2014-09-05	kern/percpu: fix setup of BSP percpu area	Richard Braun
	Relocating percpu data is actually tricky, for the same reason relocating memory in general is. There may be pointers to such variables which then become invalid. Instead, keep using the percpu section as the percpu area for the BSP and store the content of the percpu section in dedicated kernel virtual memory. In addition, remove the notification kludge from the x86 cpu module.
2014-09-03	x86/cpu: improve percpu support	Richard Braun
	- declare CPU descriptors as percpu variables - make the percpu segment register point to the percpu area instead of the CPU descriptor - remove the ugly accessors for the local CPU descriptor, pmap and TCB and use percpu variables for them instead - implement the cpu_local accessors as described in the percpu documentation
2014-09-03	kern/percpu: new module	Richard Braun
	Introduce proper per-CPU variables. Such support becomes necessary as more statically allocated per-CPU data are added to the kernel.