First attempt at a microkernel for ia32 and ARM computers. Mostly works but painted itself a corner by being 32-bit only
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
kernel
release
scripts
test
user
makefile-arm_raspberrypi
makefile-arm_versatilepb
makefile-i386_jsvm
makefile-i386_pc