nuttx/boards/arm64
Matteo Golin 2af63e91b9 boards/raspberrypi-4b: Fix nxinit configuration SD issues
Propagate the solution for SD card bugs to the nxinit configuration,
which also uses the nxinit configuration.

Signed-off-by: Matteo Golin <matteo.golin@gmail.com>
2026-08-03 20:57:47 +08:00
..
a64/pinephone !sched/clock: remove CONFIG_SYSTEM_TIME64 and always use 64-bit time 2026-05-19 16:21:28 +08:00
a527/avaota-a1 !sched/clock: remove CONFIG_SYSTEM_TIME64 and always use 64-bit time 2026-05-19 16:21:28 +08:00
am62x boards/arm64/am62x: add BeaglePlay and PocketBeagle2 2026-05-28 22:21:38 +08:00
bcm2711/raspberrypi-4b boards/raspberrypi-4b: Fix nxinit configuration SD issues 2026-08-03 20:57:47 +08:00
fvp-v8r/fvp-armv8r !sched/clock: remove CONFIG_SYSTEM_TIME64 and always use 64-bit time 2026-05-19 16:21:28 +08:00
imx8/imx8qm-mek !sched/clock: remove CONFIG_SYSTEM_TIME64 and always use 64-bit time 2026-05-19 16:21:28 +08:00
imx9 boards/imx93-evk: Fix bootloader board config 2026-07-06 16:35:02 +08:00
qemu/qemu-armv8a !sched/clock: remove CONFIG_SYSTEM_TIME64 and always use 64-bit time 2026-05-19 16:21:28 +08:00
rk3399 !sched/clock: remove CONFIG_SYSTEM_TIME64 and always use 64-bit time 2026-05-19 16:21:28 +08:00
zynq-mpsoc/zcu111 !sched/clock: remove CONFIG_SYSTEM_TIME64 and always use 64-bit time 2026-05-19 16:21:28 +08:00