`make setup-qemu` and CI are broken
jrvanwhy opened this issue · comments
Running make setup-qemu
in preparation for make test
gives the following error:
curl: no URL specified!
curl: try 'curl --help' or 'curl --manual' for more information
The fix is to update to a Tock submodule that includes tock/tock#2024. Unfortunately, when I do so, the tests hang in QEMU. Updating to a version that includes tock/tock#2033 indicates that an out-of-bounds write is happening. I tried using the low level debug capsule from within libtock-rs to debug the issue, and it appears to me that the hang is happening before execution starts.
Notably, libtock-rs
' Travis build passed on #218, and we haven't touched CI infrastructure since, so I'm not 100% sure what changed (perhaps the download URL passed back from Azure?)
@alistair23 , is this something you can help with? I'm not sure I have time to (learn how to) debug HiFive kernel issues.
I think I have it working, I'll send a PR shortly.
I'm on holidays at the moment, thanks for fixing this