Giters

seL4 / website

The seL4.systems website

Home Page:https://seL4.systems

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Add news item about latest seL4 release

axel-h opened this issue · comments

commented

Add news item that there is a new release with seL4 12.1, CAmkES 3.10 and CapDL 0.2.1