adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

camkes: Update control TCB naming scheme. 

This commit corresponds to CAmkES changes to disambiguate the name of a TCB for
a control thread.

See also camkes-tool/master@PR#113 on GINCA
This commit is contained in:
Matthew Fernandez 2015-07-27 16:04:15 +10:00
parent 0e19da32f4
commit 9b13489a1f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
camkes/cdl-refine/Generator_CAMKES_CDL.thy
View File

@ -235,7 +235,7 @@ definition
where
"tcb_objs spec \<equiv> concat (
(* The 'control' TCB *)
map (\<lambda>(n, c). (n @ ''_tcb__control'', Types_D.Tcb \<lparr>cdl_tcb_caps = [
map (\<lambda>(n, c). (n @ ''_tcb_0_control'', Types_D.Tcb \<lparr>cdl_tcb_caps = [
cspace \<mapsto> Types_D.CNodeCap (the_cnode_of n) (cnode_guard spec n) (cnode_guard_size spec n)
(cnode_size_bits spec n),
vspace \<mapsto> Types_D.PageDirectoryCap (the_pd_of n) Real None,