Searched refs:BOOT_MODULES (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-10.1.1/l4v/spec/haskell/ | ||
H A D | Makefile | 11 BOOT_MODULES = Kernel/CSpace Kernel/Thread Kernel/FaultHandler \ macro 16 BOOT_FILES=$(BOOT_MODULES:%=src/SEL4/%.lhs-boot) |
Completed in 27 milliseconds