uKernel/tools
2018-04-05 04:24:25 +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 Let the console be located by name 2018-04-05 03:24:14 +02:00
main.c Let the console be located by name 2018-04-05 03:24:14 +02:00
platform.sh Provide the correct compilation flags for an amd64 kernel 2018-04-05 04:24:25 +02:00
project.conf Also ship "arch/i386/start.S" for the userland kernel 2018-04-05 02:25:55 +02:00
start.S Build a userland version of the kernel for tests 2018-03-23 14:03:06 +01:00