rbraun/x15.git - The X15 microkernel

Age	Commit message (Collapse)	Author
2017-11-14	Per-CPU variables, TCB and SSP supportarm_port_dev	Richard Braun

2017-10-31	Merge branch 'master' into arm_port_dev	Richard Braun

2017-10-31	Rename CONFIG_MULTIPROCESSOR to CONFIG_SMP	Richard Braun
	Machine-independent code assumes SMP, and the name is shorter.
2017-10-31	Fix cpu_intr_enabled	Richard Braun

2017-10-30	Start board and architecture specific infrastructure	Richard Braun

2017-10-25	Update names	Richard Braun

2017-10-25	Improve qemu/arm script	Richard Braun

2017-10-24	Add a qemu/arm script, enable caching, clear bss	Richard Braun

2017-10-24	Improve page table creation at boot time	Richard Braun

2017-10-22	Rework the vm_ptable boot interface	Richard Braun

2017-10-20	Start the machine-independant vm_ptable module	Richard Braun

2017-10-19	Dynamically allocate the kernel root page table	Richard Braun

2017-10-19	Polish the bootmem module a bit	Richard Braun

2017-10-17	Implement buddy allocation in the bootmem module	Richard Braun

2017-10-17	Start implementation of the bootmem buddy allocator	Richard Braun

2017-10-15	kern/sleepq: replace tab character with spaces	Richard Braun

2017-10-15	kern/fmt: silence implicit fallthrough warnings	Remy Noel

2017-10-15	kern/macros: new __fallthrough macro	Remy Noel

2017-10-12	Enable paging, including large page support (!)	Richard Braun

2017-10-10	x86/pmap: remove useless header inclusion	Richard Braun

2017-10-07	First bootmem prototype	Richard Braun

2017-10-04	Fix some header inclusions	Richard Braun

2017-10-04	Invalid caches before jumping to RAM	Richard Braun

2017-10-04	Update Qemu target name	Richard Braun

2017-10-04	Hello, world!	Richard Braun

2017-10-02	Makefile: generate the linker script dependencies	Richard Braun

2017-10-01	Makefile: generate the linker script dependencies	Richard Braun

2017-09-30	Make the kernel run its first instructions	Richard Braun

2017-09-30	Stubs	Richard Braun

2017-09-28	tools/build_configs.py: remove TODO entry about test modules	Richard Braun
	The script can't scale in view of the very high number of combinations. Keep it to test the most common ones, but not for the test modules.
2017-09-28	tools/build_configs.py: make the builds verbose	Richard Braun

2017-09-28	tools/build_configs.py: minor improvements	Richard Braun
	Add a few function descriptions, use formats to generate strings instead of concatenation, replace some for statements with functional constructs.
2017-09-27	tools/build_configs.py: fix filters about the number of CPUs	Richard Braun

2017-09-27	tools/build_configs.py: update the small and large options sets	Richard Braun

2017-09-27	tools/build_configs.py: minor help message change	Richard Braun

2017-09-27	tools/build_configs.py: fix quoting of integer values	Richard Braun

2017-09-27	x86/pmap: add assertion on CPU ID	Richard Braun

2017-09-27	tools/build_configs.py: fix exclusive boolean filter generation	Richard Braun

2017-09-27	tools/build_configs: rework and improve	Richard Braun
	The most important change is the addition of command line arguments used to select options sets. The purpose of options sets selection is to make continuous integration quick for the most common options, but still have a way to test much larger sets of options, e.g. with nightly builds.
2017-09-25	tools/build_configs: new script	Richard Braun
	This script is used to handle the generation and build test of a large number of configurations.
2017-09-25	Fix generation of .config files	Richard Braun
	The .config file now contains options which are prefixed with CONFIG_.
2017-09-24	README: minor changes	Richard Braun
	Mention the intro man page. Simplify bug reports instructions.
2017-09-24	doc/xbuild(9): new man page	Richard Braun

2017-09-24	Rework cleaning and installation targets	Richard Braun

2017-09-22	kern/{sleepq,turnstile}: handle spurious wakeups	Richard Braun

2017-09-22	kern/semaphore: improve description	Richard Braun
	Replace the POSIX terminology of "locking" and "unlocking" with "waiting" and "signalling". In addition, discourage the use of semaphores.
2017-09-21	Merge branch 'xbuild'	Richard Braun

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-09-21	Import kconfig from Linux 4.13	Richard Braun

2017-09-21	Remove autotools files	Richard Braun