FORCE (reference) in projects: seL4-master

Searched refs:FORCE (Results 1 – 8 of 8) sorted by relevance

/seL4-master/manual/
A D	Makefile	`91 .PHONY: FORCE 95 FORCE: target 182 env.tex: FORCE 253 %-diff.tex: %.tex FORCE 259 .PHONY: FORCE 260 FORCE: target`
/seL4-master/tools/
A D	helpers.cmake	`21 mark_as_advanced(FORCE ${config_name}) 289 set(${optionname}_DISABLED TRUE CACHE INTERNAL "" FORCE) 304 set(${optionname} "${value}" CACHE INTERNAL "" FORCE) 374 set(force "FORCE") 393 set(${optionname}_UNAVAILABLE ON CACHE INTERNAL "" FORCE) 473 set(force_default "FORCE") 492 set(${option_cache} ON CACHE INTERNAL "" FORCE) 496 set(${option_cache} OFF CACHE INTERNAL "" FORCE) 506 set(force_default "FORCE") 525 set(${first_cache} ON CACHE INTERNAL "" FORCE) [all …]`
/seL4-master/
A D	llvm.cmake	`50 mark_as_advanced(FORCE CMAKE_TOOLCHAIN_FILE)`
A D	gcc.cmake	`117 mark_as_advanced(FORCE CMAKE_TOOLCHAIN_FILE)`
A D	config.cmake	`26 set(force FORCE)`
A D	CMakeLists.txt	`15 mark_as_advanced(FORCE KERNEL_HELPERS_PATH)`
/seL4-master/configs/
A D	seL4Config.cmake	`24 set(KernelSel4Arch "${sel4_arch}" CACHE STRING "" FORCE) 86 set(${config1} ON CACHE INTERNAL "" FORCE) 90 set(${config1} OFF CACHE INTERNAL "" FORCE)`
/seL4-master/src/arch/riscv/
A D	config.cmake	`52 set(KernelPTLevels 2 CACHE STRING "" FORCE)`

Completed in 38 milliseconds