LionOS Docs - Devel - lists.sel4.systems

newer
LionsOS as basis for...

LionOS Docs

older
Release 0.2.0 of LionsOS

Hugo V.C.

9 Aug 2024 9 Aug '24

12:35 a.m.

Hi! I'm planning to switch from CAmkES to LionOS but I got a 404 on this link: https://github.com/au-ts/lionsos-docs that is on this URL: https://www.lionsos.org/docs/tutorials/ Best,

Reply

Sign in to reply online Use email software

Show replies by date

Peter Chubb

9 Aug 9 Aug

7:30 a.m.

...
...
...
...
"Hugo" == Hugo V C 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.

Reply

Sign in to reply online Use email software

101

Age (days ago)

101

Last active (days ago)

Download

1 comments

2 participants

tags

participants (2)

Hugo V.C.
Peter Chubb