Training courses
Kernel and Embedded Linux
Bootlin training courses
1 2 3
include start # the atf terminal can do all attributes except PROTECT call 0x17f00 termattrs