/documentation/plain_sources/
../
booting_the_mini6410.tex
special_notes.tex