genode/repos/base-hw/src/core/include/spec
Adrian-Ken Rueegsegger 4417fe6201 hw_x86_64: Implementation of IA-32e paging
IA-32e paging translates 48-bit linear addresses to 52-bit physical
addresses. Translation structures are hierarchical and four levels deep.
The current implementation supports regular 4KB and 1 GB and 2 MB large
page mappings.

Memory typing is not yet implemented since the encoded type bits depend
on the active page attribute table (PAT)*.

For detailed information refer to Intel SDM Vol. 3A, section 4.5.

* The default PAT after power up does not allow the encoding of the
  write-combining memory type, see Intel SDM Vol. 3A, section 11.12.4.
* Add common IA-32e paging descriptor type:
    The type represents a table entry and encompasses all fields shared by
    paging structure entries of all four levels (PML4, PDPT, PD and PT).
* Simplify PT entry type by using common descriptor:
    Differing fields are the physical address, the global flag and the memory
    type flags.
* Simplify directory entry type by using common descriptor:
    Page directory entries (PDPT and PD) have an additional 'page size' field
    that specifies if the entry references a next level paging structure or
    represents a large page mapping.
* Simplify PML4 entry type by using common descriptor
    Top-level paging structure entries (PML4) do not have a 'pat' flag and the
    memory type is specified by the 'pwt' and 'pcd' fields only.
* Implement access right merging for directory paging entries
    The access rights for translations are determined by the U/S, R/W and XD
    flags. Paging structure entries that reference other tables must provide
    the superset of rights required for all entries of the referenced table.
    Thus merge access rights of new mappings into existing directory entries to
    grant additional rights if needed.
* Add cr3 register definition:
    The control register 3 is used to set the current page-directory base
    register.
* Add cr3 variable to x86_64 Cpu Context
    The variable designates the address of the top-level paging structure.
* Return current cr3 value as translation table base
* Set context cr3 value on translation table assignment
* Implement switch to virtual mode in kernel
    Activate translation table in init_virt_kernel function by updating the
    cr3 register.
* Ignore accessed and dirty flags when comparing existing table entries
    These flags can be set by the MMU and must be disregarded.
2015-03-27 11:53:18 +01:00
..
arm hw: adjust core bootstrap to fit generic process 2015-03-19 08:57:19 +01:00
arm_gic hw_arndale: setup ARM hypervisor mode 2015-02-27 11:48:05 +01:00
arm_v6 hw: adjust core bootstrap to fit generic process 2015-03-19 08:57:19 +01:00
arm_v7 hw: adjust core bootstrap to fit generic process 2015-03-19 08:57:19 +01:00
cortex_a8 hw: adjust core bootstrap to fit generic process 2015-03-19 08:57:19 +01:00
cortex_a9 hw: refactor irq controllers 2015-02-27 11:43:56 +01:00
cortex_a15 hw_arndale: enable ARM virtualization extensions 2015-02-27 11:48:05 +01:00
exynos5 hw_arndale: setup ARM hypervisor mode 2015-02-27 11:48:05 +01:00
imx imx31: remove platform completely (fix #1360) 2015-01-12 14:24:15 +01:00
imx53 hw: extend kernel interrupt class 2015-02-27 11:43:56 +01:00
panda hw: refactor irq controllers 2015-02-27 11:43:56 +01:00
pbxa9 hw: refactor irq controllers 2015-02-27 11:43:56 +01:00
pl011 hw: re-organize file structure 2014-08-15 10:19:48 +02:00
rpi hw: extend kernel interrupt class 2015-02-27 11:43:56 +01:00
tl16c750 hw: re-organize file structure 2014-08-15 10:19:48 +02:00
vea9x4 hw: refactor irq controllers 2015-02-27 11:43:56 +01:00
x86 hw_x86_64: Implementation of IA-32e paging 2015-03-27 11:53:18 +01:00
x86_64 hw_x86_64: Implementation of IA-32e paging 2015-03-27 11:53:18 +01:00