yinshengkai 034af29aab arch: adjust gcov configuration name ... Signed-off-by: yinshengkai <yinshengkai@xiaomi.com>		2024-10-09 21:27:47 +08:00
..
cmake	arch: adjust gcov configuration name	2024-10-09 21:27:47 +08:00
common	arch/x86_64:Configure arch delay using CONFIG_ALARM_ARCH	2024-10-09 20:49:19 +08:00
intel64	arch/x86_64: Map the new page table with read-write permissions	2024-10-09 20:51:58 +08:00
qemu	Flat address x86_64 port of Nuttx (#411)	2020-03-03 19:02:59 -06:00
.gitignore	build: Remve the unnecessary .gitignore	2020-05-23 18:00:40 +01:00
CMakeLists.txt	arch/x86_64: add cmake support	2024-02-23 07:45:57 +08:00
Makefile	arch/x86_64: Reimplement the NuttX32 multiboot1 wrapper.	2024-09-30 15:35:41 +08:00