Pierre Pronchery 58bb9a5124 Code cleanup		2018-04-05 01:20:57 +02:00
..
arch/i386	Rework cursor management for the "vga" console	2018-04-04 05:18:58 +02:00
.gitignore	Register uKernel	2018-03-27 00:00:24 +02:00
bus.c	Let the default bus be configured	2018-04-04 23:45:40 +02:00
console.c	Use buses for the userland implementation as well	2018-04-04 03:29:15 +02:00
main.c	Code cleanup	2018-04-05 01:20:57 +02:00
platform.sh	Really disable the stack protector on OpenBSD	2018-03-28 06:25:39 +02:00
project.conf	Rename the "stdio" bus to "tty"	2018-04-04 03:58:20 +02:00
start.S	Build a userland version of the kernel for tests	2018-03-23 14:03:06 +01:00