a similarly comprehensive document for game boy advance / nintendo ds / lite / dsi:

https://problemkaputt.de/gbatek.htm

i've got myself a dsi and at some point plan on doing some from-scratch development for it -- that single file should be enough.