Name | Date | Size | ||
---|---|---|---|---|
.. | 25-Jul-2019 | 23 | ||
arch_include/ | H | 25-Jul-2019 | 5 | |
CMakeLists.txt | H A D | 25-Jul-2019 | 2.8 KiB | |
include/ | H | 25-Jul-2019 | 3 | |
LICENSE_BSD2.txt | H A D | 25-Jul-2019 | 1.4 KiB | |
README | H A D | 25-Jul-2019 | 412 | |
sel4_arch_include/ | H | 25-Jul-2019 | 7 | |
src/ | H | 25-Jul-2019 | 13 |
README
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--> 12 13This library is for debugging userspace applications. Feel free to extend as 14required. 15