2018-12-05 19:09:04 +01:00
|
|
|
# x86 architecture documentation
|
|
|
|
|
|
|
|
This section contains documentation about coreboot on x86 architecture.
|
|
|
|
|
2019-02-21 10:27:04 +01:00
|
|
|
* [x86 PAE support](pae.md)
|
|
|
|
|
2018-12-05 19:09:04 +01:00
|
|
|
## State of x86_64 support
|
|
|
|
At the moment there's no single board that supports x86_64 or to be exact
|
|
|
|
`ARCH_RAMSTAGE_X86_64` and `ARCH_ROMSTAGE_X86_64`.
|
|
|
|
|
|
|
|
In order to add support for x86_64 the following assumptions are made:
|
|
|
|
* The CPU supports long mode
|
|
|
|
* All memory returned by malloc must be below 4GiB in physical memory
|
|
|
|
* All code that is to be run must be below 4GiB in physical memory
|
|
|
|
* The high dword of pointers is always zero
|
|
|
|
* The reference implementation is qemu
|
|
|
|
* The CPU supports 1GiB hugepages
|
|
|
|
|
2019-09-28 17:44:01 +02:00
|
|
|
## Assuptions for all stages using the reference implementation
|
|
|
|
* 0-4GiB are identity mapped using 2MiB-pages as WB
|
2018-12-05 19:09:04 +01:00
|
|
|
* Memory above 4GiB isn't accessible
|
2019-09-28 17:44:01 +02:00
|
|
|
* page tables reside in memory mapped ROM
|
|
|
|
* A stage can install new page tables in RAM
|
2018-12-05 19:09:04 +01:00
|
|
|
|
2019-09-28 17:44:01 +02:00
|
|
|
## Page tables
|
|
|
|
Page tables are generated by a tool in `util/pgtblgen/pgtblgen`. It writes
|
|
|
|
the page tables to a file which is then included into the CBFS as file called
|
|
|
|
`pagetables`.
|
|
|
|
|
|
|
|
To generate the static page tables it must know the physical address where to
|
|
|
|
place the file.
|
|
|
|
|
|
|
|
The page tables contains the following structure:
|
|
|
|
* PML4E pointing to PDPE
|
|
|
|
* PDPE with *$n* entries each pointing to PDE
|
|
|
|
* *$n* PDEs with 512 entries each
|
|
|
|
|
|
|
|
At the moment *$n* is 4, which results in identity mapping the lower 4 GiB.
|
2018-12-05 19:09:04 +01:00
|
|
|
|
|
|
|
## Steps to add basic support for x86_64
|
|
|
|
* Add x86_64 toolchain support - *DONE*
|
|
|
|
* Fix compilation errors - *DONE*
|
|
|
|
* Fix linker errors - *TODO*
|
2019-09-28 17:44:01 +02:00
|
|
|
* Add x86_64 rmodule support - *DONE*
|
2019-06-24 18:44:33 +02:00
|
|
|
* Add x86_64 exception handlers - *DONE*
|
2019-09-28 17:44:01 +02:00
|
|
|
* Setup page tables for long mode - *DONE*
|
|
|
|
* Add assembly code for long mode - *DONE*
|
2019-09-29 11:08:33 +02:00
|
|
|
* Add assembly code for SMM - *DONE*
|
2019-09-28 17:44:01 +02:00
|
|
|
* Add assembly code for postcar stage - *TODO*
|
2018-12-05 19:09:04 +01:00
|
|
|
* Add assembly code to return to protected mode - *TODO*
|
|
|
|
* Implement reference code for mainboard `emulation/qemu-q35` - *TODO*
|
|
|
|
|
2020-06-30 20:24:11 +02:00
|
|
|
## Future work
|
|
|
|
|
|
|
|
1. Fine grained page tables for SMM:
|
|
|
|
* Must not have execute and write permissions for the same page.
|
|
|
|
* Must allow only that TSEG pages can be marked executable
|
|
|
|
* Must reside in SMRAM
|
|
|
|
2. Support 64bit PCI BARs above 4GiB
|
|
|
|
3. Place and run code above 4GiB
|
|
|
|
|
2018-12-05 19:09:04 +01:00
|
|
|
## Porting other boards
|
|
|
|
* Fix compilation errors
|
|
|
|
* Test how well CAR works with x86_64 and paging
|
|
|
|
* Improve mode switches
|
|
|
|
* Test libgfxinit / VGA Option ROMs / FSP
|