NameDateSize

..25-Jul-201923

arch_include/H25-Jul-20194

CMakeLists.txtH A D31-Jul-20204.8 KiB

docs/H12-Nov-20204

include/H25-Jul-20193

LICENSE_BSD2.txtH A D25-Jul-20191.4 KiB

mach_include/H25-Jul-20197

plat_include/H22-Sep-202028

README.mdH A D25-Jul-2019568

sel4_arch_include/H25-Jul-20194

src/H30-Sep-202015

tools/H12-Oct-20205

README.md

1<!--
2     Copyright 2017, Data61
3     Commonwealth Scientific and Industrial Research Organisation (CSIRO)
4     ABN 41 687 119 230.
5
6     This software may be distributed and modified according to the terms of
7     the BSD 2-Clause license. Note that NO WARRANTY is provided.
8     See "LICENSE_BSD2.txt" for details.
9
10     @TAG(DATA61_BSD)
11-->
12seL4 libplatsupport
13--------------------
14
15Basic OS-independent driver library, designed to run in user level on seL4.
16
17Mostly contains support for timers, serial devices, clocks.
18
19See `LICENSE_BSD2.txt` for license details.
20