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 _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
