Morten Delenk c061f9e30c started a bit of paging for x64		2017-12-09 19:38:55 +00:00
..
3ds11	added IRQs to 3ds11, made the timer faster on 3ds9	2017-07-29 10:03:10 +01:00
framebuffer	added broken raspi2 port	2017-07-20 09:26:35 +01:00
pc	added paging to x86	2017-09-03 09:56:58 +01:00
pmm	started a bit of paging for x64	2017-12-09 19:38:55 +00:00
raspi2	added an untested pmm for every machine except for PC	2017-07-20 15:37:45 +01:00
config.py	added kernel configuration	2017-04-23 16:09:42 +00:00