May want to make Axle 64 bit eventually :)
For BIOS booting: http://wiki.osdev.org/Setting_Up_Long_Mode
If UEFI support is implemented, the UEFI runs in 64 bit and so will already be in long mode. One can begin executing x86_64 C code from there directly.
May want to make Axle 64 bit eventually :)
For BIOS booting: http://wiki.osdev.org/Setting_Up_Long_Mode
If UEFI support is implemented, the UEFI runs in 64 bit and so will already be in long mode. One can begin executing x86_64 C code from there directly.