#
d4f59d37 |
|
22-Nov-2020 |
Axel Heider <axelheider@gmx.de> |
README.md: update links to mailinglists Signed-off-by: Axel Heider <axelheider@gmx.de>
|
#
d84e2bfa |
|
13-Jun-2020 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
trivial: fix broken links in README.md Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
|
#
3ab10e83 |
|
02-Apr-2020 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
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>
|
#
b2971ca2 |
|
01-Apr-2020 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
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>
|
#
59fb219c |
|
03-Mar-2020 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
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.
|
#
79da0792 |
|
01-Mar-2020 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
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.
|
#
b7bcb62d |
|
12-Apr-2018 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
README: fix build instructions link
|
#
27ba6151 |
|
09-Apr-2018 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
SELFOUR-1079: Add link to hosted manual in README
|
#
6e7f334f |
|
24-Mar-2018 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
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.
|
#
89738131 |
|
23-Oct-2017 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
Remove outdated build instructions These instructions do not presently work and should not be used
|
#
dbc9ae3f |
|
23-Jun-2016 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
README.md: Update README for serial output
|
#
8082f7cb |
|
23-Jun-2016 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
README.md: Update README for verified platform
|
#
aff2f9cd |
|
23-May-2016 |
Japheth Lim <Japheth.Lim@nicta.com.au> |
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.”
|
#
934244b7 |
|
13-Oct-2015 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
update README links reported by @watbe [https://github.com/seL4/seL4/issues/17]
|
#
6b96bb99 |
|
10-Aug-2014 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
add DOI
|
#
e88fe4e3 |
|
08-Aug-2014 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
fix typo; add more links
|
#
64b43f44 |
|
29-Jul-2014 |
David Greenaway <david.greenaway@nicta.com.au> |
Add links to "seL4.systems" website to "README.md".
|
#
addc9a90 |
|
22-Jul-2014 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
prefer markdown for github
|