Giters

seL4 / website

The seL4.systems website

Home Page:https://seL4.systems

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

RSS/atom feed for https://sel4.systems/news.pml.html

axel-h opened this issue · comments

commented

Having a RSS/atom feed for the ticker at https://sel4.systems/news.pml.html would be a nice-to-have.