chronological history: things we thought we needed adapting and what we had to look at to adapt them in barrelfishy style and/or differences between OS161 and BF boot procedure style---code layout
code organization overview, ARM and x86 boot/CPU drivers
what needs changing in Hake to add new toolchains and new architectures
linking in the BF boot/CPU driver system
ELF primer w.r.t. relevant items for getting BF booted