real-xinu/xinu-bbb

Issues

• Building and running user programs

  #2 opened 8 years ago
  3

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

  #1 opened 8 years ago
  0