secc
/
seL4_libs
mirror of https://github.com/seL4/seL4_libs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
seL4_libs/libsel4debug
History
Peter Chubb 54539a72db Bump minimum CMake version 
Compatibility with versions <3.10 is going away.
As it happens, we're not using any CMake features that
have changed between 3.7 and 3.16, so bump the lowest
version to 3.16.

Signed-off-by: Peter Chubb <Peter.Chubb@unsw.edu.au>
 		2025-02-26 14:34:53 +11:00
..
arch_include convert to SPDX license headers 2021-02-10 19:30:35 +11:00
include/sel4debug fail cap checks if CONFIG_DEBUG_BUILD is not set 2021-03-25 16:51:15 +11:00
sel4_arch_include libsel4debug: Correct aarch32 registers names 2021-03-24 16:41:43 +11:00
src trivial: Fixup compiler warnings 2021-12-08 15:25:55 +11:00
CMakeLists.txt Bump minimum CMake version 2025-02-26 14:34:53 +11:00
README convert to SPDX license headers 2021-02-10 19:30:35 +11:00

README 

<!--
     Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)

     SPDX-License-Identifier: BSD-2-Clause
-->

This library is for debugging userspace applications. Feel free to extend as
required.