j
k
j a
j l
Now that sel4, sel4test and refos work on beaglebone, perhaps it could be mentioned on the sel4 web page? If there's anything I can do to help make that happen, please let me know.
Tim
Back to the thread
Back to the list