nuttx

History

p-szafonimateusz 3c05da536a arch/intel64: add support for HPET as system clock

HPET can be used as system clock for x86_64

to set HPET as system clock you have to enable:
  CONFIG_ONESHOT=y
  CONFIG_ALARM_ARCH=y
  CONFIG_INTEL64_ONESHOT=y
  CONFIG_ARCH_INTEL64_HPET_ALARM=y

Signed-off-by: p-szafonimateusz <p-szafonimateusz@xiaomi.com>

2024-08-01 17:49:41 +08:00

configs

boards/qemu-intel64: simplify STACKSIZE configuration

2024-07-01 13:27:33 +08:00

include

Various fixes for PCI work

2024-01-25 09:09:30 -08:00

scripts

x86_64: add ELF support

2024-07-03 17:40:53 +08:00

src

arch/intel64: add support for HPET as system clock