Cargo Features
sel4-sys has no features set by default.
[dependencies]
sel4-sys = { version = "0.0.28", features = ["CONFIG_ARM_SMMU", "CONFIG_VTX", "SEL4_CONFIG_BENCHMARK", "SEL4_DANGEROUS_CODE_INJECTION", "unstable"] }- CONFIG_ARM_HYPERVISOR_SUPPORT CONFIG_ARM_SMMU
- CONFIG_HARDWARE_DEBUG_API CONFIG_VTX
- SEL4_CONFIG_BENCHMARK
-
Affects
arm::seL4_BenchmarkResetLog,arm::seL4_BenchmarkDumpLog,arm::seL4_BenchmarkLogSize,arm::seL4_BenchmarkFinalizeLog,x86::seL4_BenchmarkResetLog,x86::seL4_BenchmarkFinalizeLog,x86::seL4_BenchmarkSetLogBuffer,x86::seL4_BenchmarkNullSyscall,x86::seL4_BenchmarkFlushCaches,x86::seL4_BenchmarkGetThreadUtilization,x86::seL4_BenchmarkGetThreadUtilization,x86_64::seL4_BenchmarkResetLog,x86_64::seL4_BenchmarkFinalizeLog,x86_64::seL4_BenchmarkSetLogBuffer,x86_64::seL4_BenchmarkNullSyscall,x86_64::seL4_BenchmarkFlushCaches,x86_64::seL4_BenchmarkGetThreadUtilization,x86_64::seL4_BenchmarkGetThreadUtilization… - SEL4_DANGEROUS_CODE_INJECTION
-
Affects
arm::seL4_DebugRun,x86::seL4_DebugRun,x86_64::seL4_DebugRun… - unstable