code: 9ferno

ref: 0ee70192a6748cb9adf572ac584ca7dd417cf1ef
dir: /os/boot/

bcm/
bitsy/
efi/
mkfile
pc/
zynq/