nuttx/arch/x86_64
p-szafonimateusz d6a6a0a7cc arch/intel64/hpet: add FSB interrupts support and support for 32-bit mode
These are changes to make HPET work with ACRN hypervisor:

- FSB interrupt delivery (which works like PCI MSI)
- 32-bit mode support

Signed-off-by: p-szafonimateusz <p-szafonimateusz@xiaomi.com>
2024-09-13 09:28:08 -03:00
..
include arch/intel64/hpet: add FSB interrupts support and support for 32-bit mode 2024-09-13 09:28:08 -03:00
src arch/intel64/hpet: add FSB interrupts support and support for 32-bit mode 2024-09-13 09:28:08 -03:00
CMakeLists.txt arch/x86_64: add cmake support 2024-02-23 07:45:57 +08:00
Kconfig arch/x86_64: Support QEMU PVH ELF loader 2024-09-06 20:56:46 +08:00