Alwin Joshy 1253115999 hw debug api: aarch64 port ... Adding support for the hardware debug API to aarch64. Signed-off-by: Alwin Joshy <joshyalwin@gmail.com>		2024-07-18 16:09:52 +10:00
..
arch_include	manual: params don't have errors	2024-06-30 21:14:32 +10:00
include	hw debug api: aarch64 port	2024-07-18 16:09:52 +10:00
mode_include	replacing all ifndef with pargma once	2020-03-23 11:04:46 +11:00
sel4_arch_include	hw debug api: aarch64 port	2024-07-18 16:09:52 +10:00
sel4_plat_include	Add new imx8mp-evk platform	2024-06-12 22:47:34 +10:00
src	Enabled IPC debug features under new config	2020-04-06 14:21:46 +10:00
tools	manual: params don't have errors	2024-06-30 21:14:32 +10:00
CMakeLists.txt	libsel4: rename interface XML files	2024-06-30 18:28:12 +10:00