amd64
|
amd64 gdt_segs: use designated initializers
|
2024-02-11 05:38:23 +02:00 |
conf
|
amd64 & i386: enable VIMAGE in MINIMAL
|
2024-02-02 18:35:00 -07:00 |
include
|
amd64 pcb.h: use 4 hex digits for pcb flags
|
2024-02-11 05:38:41 +02:00 |
linux
|
amd64/linux*: mark brandlists as static
|
2024-02-11 05:37:27 +02:00 |
linux32
|
amd64/linux*: mark brandlists as static
|
2024-02-11 05:37:27 +02:00 |
pci
|
x86: Adjust base addr for PCI MCFG regions
|
2023-12-27 13:14:47 -08:00 |
sgx
|
sys: Automated cleanup of cdefs and other formatting
|
2023-11-26 22:24:00 -07:00 |
vmm
|
vmm: Expose more registers to VM_GET_REGISTER
|
2024-02-07 08:52:46 -05:00 |
Makefile
|
sys: Remove ancient SCCS tags.
|
2023-11-26 22:23:30 -07:00 |