RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

Hikey: disable DANGEROUS_CODE_INJECTION

Browse Source 
DANGEROUS_CODE_INJECTION does not work on the Hikey due to the current
state of the vspace implementation.
This commit is contained in:
Anna Lyons
2017-11-23 11:53:47 +11:00
parent 6707a74131
commit d833f9a0c9
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
config.cmake
View File

@@ -242,7 +242,7 @@ config_option(KernelDangerousCodeInjection DANGEROUS_CODE_INJECTION
"Adds a system call that allows users to specify code to be run in kernel mode. \
Useful for profiling."
DEFAULT OFF
DEPENDS "NOT KernelARMHypervisorSupport;NOT KernelVerificationBuild"
DEPENDS "NOT KernelARMHypervisorSupport;NOT KernelVerificationBuild;NOT KernelPlatformHikey"
)
config_option(KernelDebugDisablePrefetchers DEBUG_DISABLE_PREFETCHERS