Sign in
opensecura
/
3p
/
sel4
/
sel4_libs
/
7ae68ec7f731156efb3bc52e9ff9795c50ca641f
/
libsel4debug
c4e0615
trivial: Add missing register to list
by Kent McLeod
· 5 years ago
c18523b
replace kernel_autoconf with sel4_autoconf
by Yu Hou
· 6 years ago
e9a9ff4
Trivial: Style fix
by Yu Hou
· 6 years ago
4f4c9c2
link kernel_autoconf explicitly
by Yu Hou
· 6 years ago
559fb22
seL4_libs: specify linking method
by Yu Hou
· 6 years ago
e23dc54
seL4_libs: remove autoconf.h from seL4_libs
by Yu Hou
· 6 years ago
2c39ace
trivial: Change of thread IDs on arm
by Curtis Millar
· 6 years ago
66ae482
Update register layout in user context
by Curtis Millar
· 6 years ago
6b2bbe6
CMake: Mark config options as advanced
by Kent McLeod
· 6 years ago
11062d0
trivial: style CMakeLists.txt files
by Kent McLeod
· 6 years ago
1f6de1c
libsel4debug: add prefix for register dump
by Anna Lyons
· 6 years ago
80ff425
trivial: fix output warnings on 64-bit
by Anna Lyons
· 6 years ago
878ad37
libsel4debug: (trivial) fix typo
by James Ye
· 6 years ago
01becc5
sel4debug: Actually print in debug_print_bootinfo
by Kent McLeod
· 6 years ago
2e6da56
Remove references to specific seL4 headers.
by Curtis Millar
· 6 years ago
6289da1
Kbuild: Removed Kbuild
by Adam Felizzi
· 6 years ago
73d9d0a
trivial: guard with pragma once
by Anna Lyons
· 7 years ago
f39d300
SELFOUR-1284: riscv/debug update register names
by Anna Lyons
· 7 years ago
d6b85e7
riscv: fix licenses
by Anna Lyons
· 7 years ago
c7e78f2
RISC-V port
by Hesham Almatary
· 9 years ago
421915c
libsel4debug: Provide sel4_arch agnostic safe printf function
by Adrian Danis
· 7 years ago
135c651
pragma once and for all
by Anna Lyons
· 7 years ago
d428259
libsel4debug: remove ancient hgignore
by Anna Lyons
· 7 years ago
dbe802b
Add CMake build rules for various libraries
by Adrian Danis
· 8 years ago
c1a3178
Remove debug_fault_handler
by Anna Lyons
· 7 years ago
b52a7c4
Sort files to make build reproducible
by Luke Mondy
· 7 years ago
0016dfc
Fix all the whitespace
by Anna Lyons
· 8 years ago
9214341
Fix licenses
by Anna Lyons
· 8 years ago
d4413b0
libsel4debug: fix arch paths in makefile
by Saggi Mizrahi
· 8 years ago
d8e5f17
libsel4debug: Add support for aarch64
by amrzar
· 8 years ago
b578b9e
Prepare for aarch64 implementation
by amrzar
· 8 years ago
76751d8
SELFOUR-114: use new fault type API
by Anna Lyons
· 9 years ago
4ed4e0a
Remove assumptions about the 0 paddr being invalid
by Adrian Danis
· 8 years ago
2d270b2
Merge pull request #138 in SEL4/sel4_libs from ~ADANIS/sel4_libs:64bit to master
by Adrian Danis
· 8 years ago
f557803
libsel4debug: Accept untyped sizes up to word size
by Adrian Danis
· 8 years ago
5110124
libsel4debug: trivial whitespace fixes
by Adrian Danis
· 8 years ago
c374787
libsel4debug: Add missing copyright header
by Adrian Danis
· 8 years ago
fb3471f
libsel4debug: Fix debug printing
by Adrian Danis
· 9 years ago
fab2a79
libsel4debug: Remove 32-bit size assumptions
by Adrian Danis
· 9 years ago
1c69b8a
libsel4debug: Define x86 registers by sel4_arch instead of arch
by Adrian Danis
· 9 years ago
f030732
SELFOUR-421 Handle updated bootinfo with device untypeds
by Adrian Danis
· 9 years ago
80b9e99
Move sel4_debug.h back into libsel4utils
by Kofi Doku Atuah
· 9 years ago
067b1cb
sel4debug: remove debug_plat_putchar SELFOUR-481
by Anna Lyons
· 9 years ago
41510d0
libsel4debug: Remove unnecessary STRINGIFY use.
by Matthew Fernandez
· 9 years ago
35dbbd6
libsel4debug: Replaced indirection with direct include
by Kofi Doku Atuah
· 9 years ago
87c5c44
Added sel4_strerror() and some convenience macros for ZF_LOG().
by Kofi Doku Atuah
· 9 years ago
9b0f6e2
Remove all references to KERNEL_STABLE
by Anna Lyons
· 9 years ago
1a1e89a
sel4debug: remove unused dep on sel4utils
by Anna Lyons
· 9 years ago
67c869c
all: s/LOG_*/ZF_LOG*
by Anna Lyons
· 9 years ago
e9b6666
Update usages of bootinfo to use the userImagePaging list
by Adrian Danis
· 9 years ago
c8db8cb
libsel4debug: De-frob return addresses before storing.
by Matthew Fernandez
· 9 years ago
62d575b
update for s/Wait/Recv
by Anna Lyons
· 9 years ago
e4dd97e
Fix: Explicitly mark unaligned IO in the malloc debugger.
by Matthew Fernandez
· 9 years ago
4351346
More portable definition of alignment requirement in the malloc debugger.
by Matthew Fernandez
· 9 years ago
545f19f
libsel4debug: add register_dump(tcb) which prints out the register set of the passed in TCB ptr using seL4_TCB_ReadRegisters.
by Anna Lyons
· 9 years ago
83a883b
Add 'libsel4debug/' from commit '8d71a05502c0398bef64829bb8af7114995dfc92'
by Anna Lyons
· 9 years ago