| Name | Date | Size | ||
|---|---|---|---|---|
| .. | 08-Sep-2020 | 41 | ||
| arm/ | H | 25-Jul-2019 | 4 | |
| README | H A D | 25-Jul-2019 | 325 | |
| riscv/ | H | 25-Jul-2019 | 4 |
README
1The sigs and elf.txt files in this directory and in subdirectories are 2covered by the same copyright as the seL4 source code from which they 3are derived. The source can be found at 4 5 https://github.com/seL4/seL4 6 7and the license under which it is offered at 8 9 https://github.com/seL4/seL4/blob/master/LICENSE_GPLv2.txt 10