Giters

seL4 / website

The seL4.systems website

Home Page:https://seL4.systems

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Website: revisit the "More information" page

june-andronick opened this issue · comments

commented

(This may wait for the Information Architecture feedback first)

  • Is it still appropriate to have the "Research" tab only going to TS? (other people in the community do research on seL4) and is that TS research page still up to date?

  • Could we merge this "More information" into the "About seL4" page?

  • The FAQ and Roadmap are linked to the docsite, which are part of thinking how to link better the 2 sites (#309)