code: 9ferno

ref: 6bb619c8db2867ddd9cd19c0aec05065f5ee0cae
dir: /os/boot/

bcm/
bitsy/
efi/
mkfile
pc/
zynq/