Hi there,

First of all I want to thank you for your work and the quality of it. I tried to find exactly this course out there but all what I found was oriented to RasPI o requiring hardware.

Having said that, I want also to report a couple of mistakes I found during my read:

Page 19:
CONFIG_BOOTCOMMAND="run mmc_elf_bootcmd"
Should be:
CONFIG_BOOTCOMMAND=bootcmd_bare_arm

Page 25:
0x600210000
should be:
0x60021000

Edit: Adding some troubleshooting on ArchLinux

When trying to compile the C code in section 4:

$ arm-none-eabi-gcc -c -nostdlib -nostartfiles -lgcc -o cstart.o cstart.c
In file included from cstart.c:1:
/usr/lib/gcc/arm-none-eabi/9.1.0/include/stdint.h:9:16: fatal error: stdint.h: No such file or directory
    9 | # include_next <stdint.h>
      |                ^~~~~~~~~~
compilation terminated.

Solution:
Install arm-none-eabi-newlib package.

Kind regards,
Ernest