## Sources of Information
* wiki.osdev (good for starting off, we could also (in a polite way) mention the things, that were broken there)
    + getting uart irq masking wrong (not really their fault, see above)
    + zeroing bss even tho it was placed in a section, that wasn't marked NOLOAD (I need to verify that yet)
    + switch inside an enum!?!?!?
    + There is already some more mentioned in HISTORY.md
* ARM Architecture Reference Manual® ARMv7-A and ARMv7-R edition (man, this has 2720 pages! But I think this was the most useful document of all)
* dwelch67
* http://www.simtec.co.uk/products/SWLINUX/files/booting_article.html - very good description of atags
* BCM2835-ARM-Peripherals.pdf and https://elinux.org/BCM2835_datasheet_errata
* https://buildmedia.readthedocs.org/media/pdf/devicetree-specification/latest/devicetree-specification.pdf - perhaps You've found another source for that... but if not, this seems to be good!
* online ARM Compiler toolchain Assembler Reference
* Christina Brook's rpi-open-firmware
* http://infocenter.arm.com/help/topic/com.arm.doc.ddi0183g/DDI0183G_uart_pl011_r1p5_trm.pdf
* GNU make documentation
* description of linker scripts: https://access.redhat.com/documentation/en-US/Red_Hat_Enterprise_Linux/4/html/Using_ld_the_GNU_Linker/sections.html#OUTPUT-SECTION-DESCRIPTION