code: 9ferno

ref: 44ce0097b612a1fefd754065bdf8d9d2e5ef60c8
dir: /os/boot/

bcm/
bitsy/
efi/
mkfile
pc/
zynq/