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

cmake: make pde_C an optional top-level type.

Browse Source 
RISCV has its own model of page tables that doesn't have a distinguished
'directory' level.
This commit is contained in:
Edward Pierzchalski
2018-12-06 09:30:29 +11:00
parent 8bf7c55de4
commit 2ac5bd639c
3 changed files with 7 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
config.cmake
View File

@@ -31,8 +31,7 @@ mark_as_advanced(${force} CSPEC_DIR SKIP_MODIFIES SORRY_BITFIELD_PROOFS UMM_TYPE
add_custom_target(kernel_config_target)
# Put our common top level types in
set_property(TARGET kernel_config_target APPEND PROPERTY TOPLEVELTYPES
cte_C tcb_C endpoint_C notification_C asid_pool_C pte_C pde_C user_data_C
user_data_device_C
cte_C tcb_C endpoint_C notification_C asid_pool_C pte_C user_data_C user_data_device_C
)
########################