-
Notifications
You must be signed in to change notification settings - Fork 14
Issues: seL4/website
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Docsite content: hardware: instructions if board not in the list
#316
opened Jan 3, 2024 by
june-andronick
Website: clarify contact us?
enhancement
New feature or request
#310
opened Nov 21, 2023 by
june-andronick
Better link between website and docsite (and github)
enhancement
New feature or request
#309
opened Nov 21, 2023 by
june-andronick
Website: revisit the "More information" page
enhancement
New feature or request
#308
opened Nov 21, 2023 by
june-andronick
Website: consistent titles
enhancement
New feature or request
#307
opened Nov 21, 2023 by
june-andronick
Website: jobs page is outdated
enhancement
New feature or request
#306
opened Nov 21, 2023 by
june-andronick
Website: top menu should be reordered and restructured
enhancement
New feature or request
#305
opened Nov 21, 2023 by
june-andronick
Website: restructure the Foundation substructure
enhancement
New feature or request
#304
opened Nov 21, 2023 by
june-andronick
Show history graphs on performance page
enhancement
New feature or request
#158
opened Dec 9, 2021 by
axel-h
RSS/atom feed for https://sel4.systems/news.pml.html
enhancement
New feature or request
#64
opened Mar 2, 2021 by
axel-h
Figure out way for PRs from forks to work with static site generator
#21
opened Sep 7, 2020 by
LukeMondy
ProTip!
Follow long discussions with comments:>50.