Giters

seL4 / website

The seL4.systems website

Home Page:https://seL4.systems

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Website: jobs page is outdated

june-andronick opened this issue · comments

commented

(This may wait for the Information Architecture feedback first)

The Jobs page should:

  • be revisited, updated
  • be taken out of the Foundation's substructure (#304)
  • appear somewhere in the top menu / landing page (#305)