be22fbbb0a
I may have broken the run-liminix-vm command a bit for MIPS due to necessary changes in how we pass the command line. If CI isn't green for this commit and youre trying the worked examples, I suggest reverting to the commit before this one. |
||
---|---|---|
.. | ||
default.nix | ||
run-liminix-vm.sh |