trivial: Bugfix, use the correct config macro

Use the correct config macro to enable code injection.
2020-02-12 12:15:24 +11:00 · 2020-02-12 12:15:24 +11:00 · dadfb1b6f3
commit dadfb1b6f3
parent c06df578f2
1 changed files with 1 additions and 1 deletions
--- a/libsel4/arch_include/riscv/sel4/arch/syscalls.h
+++ b/libsel4/arch_include/riscv/sel4/arch/syscalls.h
@ -855,7 +855,7 @@ LIBSEL4_INLINE_FUNC void seL4_DebugNameThread(seL4_CPtr tcb, const char *name)
 }
 #endif

-#ifdef SEL4_DANGEROUS_CODE_INJECTION_KERNEL
+#ifdef CONFIG_DANGEROUS_CODE_INJECTION
 LIBSEL4_INLINE_FUNC void seL4_DebugRun(void (* userfn)(void *), void *userarg)
 {
    register seL4_Word arg1 asm("a0") = (seL4_Word)userfn;