Alex Smith e114f50ddd Fixed bootloader build under x86_64.

2012-06-19 20:38:53 +01:00

..

arch_cpu.h

…

arch_debug.h

…

arch_int.h

Added stub versions of everything needed to build the kernel.

2012-06-15 22:50:59 +01:00

arch_kernel_args.h

…

arch_kernel.h

…

arch_system_info.h

Fixed bootloader build under x86_64.

2012-06-19 20:38:53 +01:00

arch_thread_types.h

…

arch_thread.h

…

arch_user_debugger.h

…

arch_vm_translation_map.h

…

arch_vm_types.h

…

arch_vm.h

…