uKernel/tools
2018-04-05 02:25:55 +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 Move code around for better isolation 2018-04-05 02:15:30 +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