Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-03-27 10:29:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
4,821 Commits 31 Branches 41 Tags
bce8202afec31f2163bc9f43d501e02ce25e9832
Commit Graph

35 Commits

Author SHA1 Message Date
Gerwin Klein
de5b553c7a README: update links for new docsite structure 
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 2025-07-23 10:18:04 +10:00
June Andronick
acbe30b507 change link to Resources ot setup page 
Signed-off-by: June Andronick <june.andronick@proofcraft.systems>
 2025-07-15 09:07:29 +10:00
Gerwin Klein
c03cad0894 Update links after seL4 website re-org 
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 2025-04-29 17:17:49 +10:00
Gerwin Klein
1acde069a5 README: remove outdated pages 
These are going to be removed in the website reorg.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 2025-04-27 10:57:10 +10:00
Gerwin Klein
974e9ffb2e README: fix GettingStarted link for docsite update 
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 2025-01-31 13:04:49 +11:00
Szymon Duchniewicz
4b233815fd docs: README: Fix url to kernel features 
Signed-off-by: Szymon Duchniewicz <s.duchniewicz@unsw.edu.au>
 2024-11-22 18:33:13 +00:00
Gerwin Klein
e3c2dbb26b docs: add link explaining license implications 
Adding a link to Gernot's blog post that explains what GPL on seL4
means for other code. This is mainly intended for people who aren't
that familiar with what all of these licenses mean.

Closes #524

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 2021-08-31 14:31:11 +10:00
Gerwin Klein
43b2029d02 github: clearer top-level name for compile action 
Previous "Kernel" showed up for the badge and main checks group, which
is not very informative.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 2021-08-20 13:42:48 +10:00
Gerwin Klein
cc32744ff3 README: adjust CI badge for seL4test 
The badge now refers to the combined simulation + hw build + hw test +
deployment workflow.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 2021-08-20 13:42:48 +10:00
Gerwin Klein
dbab25c8d3 github: deploy verification-manifest on preprocess 
Automatically keep verification-manifest in sync with
preprocess-equivalent changes.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 2021-08-18 16:58:57 +10:00
Gerwin Klein
5688e6e9f6 trivial: fix link 
The link will probably go back to .html when the website is finished,
but this commit will avoid annoying test failures in the meantime.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 2021-08-10 17:54:24 +10:00
Gerwin Klein
e80217f87e README: add badge for simulation test 
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 2021-07-19 14:57:10 +10:00
Gerwin Klein
15d2db1be5 add discourse and link to contacts 
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 2021-07-01 10:26:01 +10:00
Gerwin Klein
dce90836e7 make markdown lint happy 
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 2021-07-01 10:26:01 +10:00
Gerwin Klein
4da101ae24 add CI status badges 
Currently only for GitHub actions (but these will be replacing Bamboo
tests in the coming weeks).

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 2021-07-01 10:26:01 +10:00
Gerwin Klein
45469d3a92 add CII best practices badge 
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 2021-07-01 10:26:01 +10:00
Matthew Brecknell
8afebb55a0 meta: add vulnerability disclosure policy (#424) 
This adds a simple vulnerability disclosure policy, loosely based on:
- Disclose.io materials.
- The OWASP Vulnerability Disclosure Cheat Sheet.

Signed-off-by: Matthew Brecknell <matthew@brecknell.net>
 2021-06-30 15:28:52 +10:00
Axel Heider
d4f59d37b1 README.md: update links to mailinglists 
Signed-off-by: Axel Heider <axelheider@gmx.de>
 2020-11-23 05:14:20 +01:00
Gerwin Klein
d84e2bfae9 trivial: fix broken links in README.md 
Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
 2020-06-16 11:50:12 +08:00
Kent McLeod
3ab10e8314 README.md: Update with links from seL4 docsite 
https://docs.sel4.systems/projects/sel4/ contains several links that are
helpful to link to from the seL4 readme.

Signed-off-by: Kent McLeod <Kent.Mcleod@data61.csiro.au>
 2020-04-07 18:57:33 +10:00
Gerwin Klein
b2971ca253 extract license remark into own file 
github detects LICENSE.md files and links to them, so put the license
information there instead of the README.

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
 2020-04-01 16:25:27 +08:00
Gerwin Klein
59fb219cfa update license information in README 
* Point to `LICENSES/` and include the syscall note in the README.
 * BSD and GPL license files now provided in LICENSES directory.
 2020-03-09 18:00:18 +08:00
Gerwin Klein
79da079239 Convert license tags to SPDX identifiers 
This commit also converts our own copyright headers to directly use
SPDX, but leaves all other copyright header intact, only adding the
SPDX ident. As far as possible this commit also merges multiple
Data61 copyright statements/headers into one for consistency.
 2020-03-09 13:21:49 +08:00
Anna Lyons
b7bcb62d46 README: fix build instructions link 2018-04-12 16:25:52 +10:00
Kent McLeod
27ba6151ec SELFOUR-1079: Add link to hosted manual in README 2018-04-10 15:14:33 +10:00
Anna Lyons
6e7f334f83 Update DOI link in README.md 
Previously the DOI link was to one very old version. Update with a link
that links to the latest version automatically.
 2018-03-26 14:42:54 +11:00
Adrian Danis
8973813199 Remove outdated build instructions 
These instructions do not presently work and should not be used
 2017-10-24 11:38:28 +11:00
Adrian Danis
dbc9ae3f4c README.md: Update README for serial output 2016-06-27 09:41:45 +10:00
Adrian Danis
8082f7cb37 README.md: Update README for verified platform 2016-06-27 09:41:45 +10:00
Japheth Lim
aff2f9cda8 Drop Haskell kernel from README 
“It's too late to correct it,” said the Red Queen: “when you've once
said a thing, that fixes it, and you must take the consequences.”
 2016-05-25 13:33:20 +10:00
Gerwin Klein
934244b7c8 update README links 
reported by @watbe [https://github.com/seL4/seL4/issues/17]
 2015-10-14 09:43:24 +11:00
Gerwin Klein
6b96bb995c add DOI 2014-08-11 15:58:41 +10:00
Gerwin Klein
e88fe4e356 fix typo; add more links 2014-08-09 13:07:11 +10:00
David Greenaway
64b43f4447 Add links to "seL4.systems" website to "README.md". 2014-07-29 19:58:26 +10:00
Gerwin Klein
addc9a9054 prefer markdown for github 2014-07-22 15:20:54 +02:00