..
intel64
arch/x86_64: migrate to SPDX identifier
2024-12-02 17:23:25 +08:00
.gitignore
Flat address x86_64 port of Nuttx ( #411 )
2020-03-03 19:02:59 -06:00
acpi.h
arch/x86_64: migrate to SPDX identifier
2024-12-02 17:23:25 +08:00
arch.h
arch/x86_64: migrate to SPDX identifier
2024-12-02 17:23:25 +08:00
elf.h
arch/x86_64: migrate to SPDX identifier
2024-12-02 17:23:25 +08:00
hpet.h
arch/x86_64: migrate to SPDX identifier
2024-12-02 17:23:25 +08:00
inttypes.h
arch/x86_64: migrate to SPDX identifier
2024-12-02 17:23:25 +08:00
io.h
arch/x86_64: migrate to SPDX identifier
2024-12-02 17:23:25 +08:00
irq.h
arch/x86_64: migrate to SPDX identifier
2024-12-02 17:23:25 +08:00
limits.h
arch/x86_64: migrate to SPDX identifier
2024-12-02 17:23:25 +08:00
multiboot2.h
arch/x86_64: migrate to SPDX identifier
2024-12-18 17:51:57 +08:00
setjmp.h
arch/x86_64: migrate to SPDX identifier
2024-12-02 17:23:25 +08:00
spinlock.h
arch/x86_64: migrate to SPDX identifier
2024-12-02 17:23:25 +08:00
syscall.h
arch/x86_64: migrate to SPDX identifier
2024-12-02 17:23:25 +08:00
types.h
arch/x86_64: migrate to SPDX identifier
2024-12-02 17:23:25 +08:00