uKernel/tools
2018-03-28 05:43:41 +02:00
..
arch/i386 Build a userland version of the kernel for tests 2018-03-23 14:03:06 +01:00
.gitignore Register uKernel 2018-03-27 00:00:24 +02:00
console.c Build a userland version of the kernel for tests 2018-03-23 14:03:06 +01:00
main.c Build a userland version of the kernel for tests 2018-03-23 14:03:06 +01:00
platform.sh Also build the userland kernel with platform.sh 2018-03-28 05:43:41 +02:00
project.conf Also build the userland kernel with platform.sh 2018-03-28 05:43:41 +02:00
start.S Build a userland version of the kernel for tests 2018-03-23 14:03:06 +01:00