Home
last modified time | relevance | path

Searched hist:e5fc2bfcab8c15a3ff7d33c358f9aa82ed73c823 (Results 1 – 15 of 15) sorted by relevance

/haiku/src/system/boot/platform/bios_ia32/
H A Dlong.he5fc2bfcab8c15a3ff7d33c358f9aa82ed73c823 Tue Jun 26 10:01:23 UTC 2012 Alex Smith <alex@alex-smith.me.uk> Implemented long mode setup/switch code, the bootloader can now start the 64-bit kernel!

The setup procedure is fairly simple: create a 64-bit GDT and 64-bit page
tables that include all kernel mappings from the 32-bit address space, but at
the correct 64-bit address, then go through kernel_args and changes all virtual
addresses to 64-bit addresses, and finally switch to long mode and jump to the
kernel.
H A Dmmu.he5fc2bfcab8c15a3ff7d33c358f9aa82ed73c823 Tue Jun 26 10:01:23 UTC 2012 Alex Smith <alex@alex-smith.me.uk> Implemented long mode setup/switch code, the bootloader can now start the 64-bit kernel!

The setup procedure is fairly simple: create a 64-bit GDT and 64-bit page
tables that include all kernel mappings from the 32-bit address space, but at
the correct 64-bit address, then go through kernel_args and changes all virtual
addresses to 64-bit addresses, and finally switch to long mode and jump to the
kernel.
H A Dlong_asm.Se5fc2bfcab8c15a3ff7d33c358f9aa82ed73c823 Tue Jun 26 10:01:23 UTC 2012 Alex Smith <alex@alex-smith.me.uk> Implemented long mode setup/switch code, the bootloader can now start the 64-bit kernel!

The setup procedure is fairly simple: create a 64-bit GDT and 64-bit page
tables that include all kernel mappings from the 32-bit address space, but at
the correct 64-bit address, then go through kernel_args and changes all virtual
addresses to 64-bit addresses, and finally switch to long mode and jump to the
kernel.
H A Dstart.cppe5fc2bfcab8c15a3ff7d33c358f9aa82ed73c823 Tue Jun 26 10:01:23 UTC 2012 Alex Smith <alex@alex-smith.me.uk> Implemented long mode setup/switch code, the bootloader can now start the 64-bit kernel!

The setup procedure is fairly simple: create a 64-bit GDT and 64-bit page
tables that include all kernel mappings from the 32-bit address space, but at
the correct 64-bit address, then go through kernel_args and changes all virtual
addresses to 64-bit addresses, and finally switch to long mode and jump to the
kernel.
H A Dlong.cppe5fc2bfcab8c15a3ff7d33c358f9aa82ed73c823 Tue Jun 26 10:01:23 UTC 2012 Alex Smith <alex@alex-smith.me.uk> Implemented long mode setup/switch code, the bootloader can now start the 64-bit kernel!

The setup procedure is fairly simple: create a 64-bit GDT and 64-bit page
tables that include all kernel mappings from the 32-bit address space, but at
the correct 64-bit address, then go through kernel_args and changes all virtual
addresses to 64-bit addresses, and finally switch to long mode and jump to the
kernel.
H A DJamfilee5fc2bfcab8c15a3ff7d33c358f9aa82ed73c823 Tue Jun 26 10:01:23 UTC 2012 Alex Smith <alex@alex-smith.me.uk> Implemented long mode setup/switch code, the bootloader can now start the 64-bit kernel!

The setup procedure is fairly simple: create a 64-bit GDT and 64-bit page
tables that include all kernel mappings from the 32-bit address space, but at
the correct 64-bit address, then go through kernel_args and changes all virtual
addresses to 64-bit addresses, and finally switch to long mode and jump to the
kernel.
H A Dmmu.cppe5fc2bfcab8c15a3ff7d33c358f9aa82ed73c823 Tue Jun 26 10:01:23 UTC 2012 Alex Smith <alex@alex-smith.me.uk> Implemented long mode setup/switch code, the bootloader can now start the 64-bit kernel!

The setup procedure is fairly simple: create a 64-bit GDT and 64-bit page
tables that include all kernel mappings from the 32-bit address space, but at
the correct 64-bit address, then go through kernel_args and changes all virtual
addresses to 64-bit addresses, and finally switch to long mode and jump to the
kernel.
H A Dsmp.cppe5fc2bfcab8c15a3ff7d33c358f9aa82ed73c823 Tue Jun 26 10:01:23 UTC 2012 Alex Smith <alex@alex-smith.me.uk> Implemented long mode setup/switch code, the bootloader can now start the 64-bit kernel!

The setup procedure is fairly simple: create a 64-bit GDT and 64-bit page
tables that include all kernel mappings from the 32-bit address space, but at
the correct 64-bit address, then go through kernel_args and changes all virtual
addresses to 64-bit addresses, and finally switch to long mode and jump to the
kernel.
/haiku/headers/private/kernel/arch/x86/
H A Darch_kernel_args.he5fc2bfcab8c15a3ff7d33c358f9aa82ed73c823 Tue Jun 26 10:01:23 UTC 2012 Alex Smith <alex@alex-smith.me.uk> Implemented long mode setup/switch code, the bootloader can now start the 64-bit kernel!

The setup procedure is fairly simple: create a 64-bit GDT and 64-bit page
tables that include all kernel mappings from the 32-bit address space, but at
the correct 64-bit address, then go through kernel_args and changes all virtual
addresses to 64-bit addresses, and finally switch to long mode and jump to the
kernel.
/haiku/src/system/kernel/arch/x86/paging/32bit/
H A DX86PagingMethod32Bit.cppe5fc2bfcab8c15a3ff7d33c358f9aa82ed73c823 Tue Jun 26 10:01:23 UTC 2012 Alex Smith <alex@alex-smith.me.uk> Implemented long mode setup/switch code, the bootloader can now start the 64-bit kernel!

The setup procedure is fairly simple: create a 64-bit GDT and 64-bit page
tables that include all kernel mappings from the 32-bit address space, but at
the correct 64-bit address, then go through kernel_args and changes all virtual
addresses to 64-bit addresses, and finally switch to long mode and jump to the
kernel.
/haiku/src/system/kernel/arch/x86/paging/pae/
H A DX86PagingMethodPAE.cppe5fc2bfcab8c15a3ff7d33c358f9aa82ed73c823 Tue Jun 26 10:01:23 UTC 2012 Alex Smith <alex@alex-smith.me.uk> Implemented long mode setup/switch code, the bootloader can now start the 64-bit kernel!

The setup procedure is fairly simple: create a 64-bit GDT and 64-bit page
tables that include all kernel mappings from the 32-bit address space, but at
the correct 64-bit address, then go through kernel_args and changes all virtual
addresses to 64-bit addresses, and finally switch to long mode and jump to the
kernel.
/haiku/src/system/boot/platform/pxe_ia32/
H A DJamfilee5fc2bfcab8c15a3ff7d33c358f9aa82ed73c823 Tue Jun 26 10:01:23 UTC 2012 Alex Smith <alex@alex-smith.me.uk> Implemented long mode setup/switch code, the bootloader can now start the 64-bit kernel!

The setup procedure is fairly simple: create a 64-bit GDT and 64-bit page
tables that include all kernel mappings from the 32-bit address space, but at
the correct 64-bit address, then go through kernel_args and changes all virtual
addresses to 64-bit addresses, and finally switch to long mode and jump to the
kernel.
/haiku/src/system/kernel/
H A Dmain.cppe5fc2bfcab8c15a3ff7d33c358f9aa82ed73c823 Tue Jun 26 10:01:23 UTC 2012 Alex Smith <alex@alex-smith.me.uk> Implemented long mode setup/switch code, the bootloader can now start the 64-bit kernel!

The setup procedure is fairly simple: create a 64-bit GDT and 64-bit page
tables that include all kernel mappings from the 32-bit address space, but at
the correct 64-bit address, then go through kernel_args and changes all virtual
addresses to 64-bit addresses, and finally switch to long mode and jump to the
kernel.
/haiku/src/system/kernel/arch/x86/
H A Darch_int.cppe5fc2bfcab8c15a3ff7d33c358f9aa82ed73c823 Tue Jun 26 10:01:23 UTC 2012 Alex Smith <alex@alex-smith.me.uk> Implemented long mode setup/switch code, the bootloader can now start the 64-bit kernel!

The setup procedure is fairly simple: create a 64-bit GDT and 64-bit page
tables that include all kernel mappings from the 32-bit address space, but at
the correct 64-bit address, then go through kernel_args and changes all virtual
addresses to 64-bit addresses, and finally switch to long mode and jump to the
kernel.
H A Darch_cpu.cppe5fc2bfcab8c15a3ff7d33c358f9aa82ed73c823 Tue Jun 26 10:01:23 UTC 2012 Alex Smith <alex@alex-smith.me.uk> Implemented long mode setup/switch code, the bootloader can now start the 64-bit kernel!

The setup procedure is fairly simple: create a 64-bit GDT and 64-bit page
tables that include all kernel mappings from the 32-bit address space, but at
the correct 64-bit address, then go through kernel_args and changes all virtual
addresses to 64-bit addresses, and finally switch to long mode and jump to the
kernel.