sail-arm-boot Files required to boot Linux on Sail ARM model at https://github.com/rems-project/sail-arm start.S, sail.dts and system.h are based of code in u-boot