uKernel/tools
2018-04-05 22:45:00 +02:00
..
arch Fix write(2) on amd64 2018-04-05 21:29:58 +02:00
.gitignore Register uKernel 2018-03-27 00:00:24 +02:00
bus.c Add missing #include 2018-04-05 04:25:07 +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 Fix linking the userland kernel 2018-04-05 22:45:00 +02:00
project.conf Fix linking the userland kernel 2018-04-05 22:45:00 +02:00
start.S Bring the 64-bit kernel closer to reality 2018-04-05 20:20:13 +02:00