This repository was archived by the owner on Nov 22, 2018. It is now read-only.
SEL4PROJ/libsel4debug
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
/* * Copyright 2014, NICTA * * This software may be distributed and modified according to the terms of * the BSD 2-Clause license. Note that NO WARRANTY is provided. * See "LICENSE_BSD2.txt" for details. * * @TAG(NICTA_BSD) */ This library is for debugging userspace applications. Feel free to extend as required.