real-xinu/xinu-bbb

Produce `xinu` instead of `xinu.bin` as the output binary.

Opened this issue · 0 comments

avaidyam commented

This will allow the output to match xinu-galileo's.