>>>>> "Hugo" == Hugo V C <skydive...@gmail.com> writes:
Hugo> Hi! I'm planning to switch from CAmkES to LionOS but I got a Hugo> 404 on this link: Hugo> https://github.com/au-ts/lionsos-docs Should be https://github.com/au-ts/lionsos_docs I'll get the source fixed. -- Dr Peter Chubb https://trustworthy.systems/ Trustworthy Systems Group CSE, UNSW Core hours: Mon 8am-3pm; Wed: 8am-5pm; Fri 8am-12pm. _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
