History log of /seL4-test-master/kernel/src/arch/x86/64/machine/capdl.c
Revision Date Author Comments
# 7c91c1c8 16-Sep-2020 Jingyao Zhou <Jingyao.Zhou@data61.csiro.au>

capDL: Add kernel debugging tool for capDL

Add x86_64 debugging features of capDL Kernel Printing

Signed-off-by: Jingyao Zhou <Jingyao.Zhou@data61.csiro.au>