Sergiusz Bazanski f489f89d39 Kernel: GDT code... Even though we don't need it in 64-bit mode.		2011-08-27 22:08:59 +02:00
..
src	Kernel: GDT code... Even though we don't need it in 64-bit mode.	2011-08-27 22:08:59 +02:00
Makefile	basic 64 bit loading	2011-06-28 13:15:42 +02:00