From 9b13489a1fb24161241a08bf45412c0dab3138cb Mon Sep 17 00:00:00 2001 From: Matthew Fernandez Date: Mon, 27 Jul 2015 16:04:15 +1000 Subject: [PATCH] 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 --- camkes/cdl-refine/Generator_CAMKES_CDL.thy | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/camkes/cdl-refine/Generator_CAMKES_CDL.thy b/camkes/cdl-refine/Generator_CAMKES_CDL.thy index 18607f63f..15291b186 100644 --- a/camkes/cdl-refine/Generator_CAMKES_CDL.thy +++ b/camkes/cdl-refine/Generator_CAMKES_CDL.thy @@ -235,7 +235,7 @@ definition where "tcb_objs spec \ concat ( (* The 'control' TCB *) - map (\(n, c). (n @ ''_tcb__control'', Types_D.Tcb \cdl_tcb_caps = [ + map (\(n, c). (n @ ''_tcb_0_control'', Types_D.Tcb \cdl_tcb_caps = [ cspace \ Types_D.CNodeCap (the_cnode_of n) (cnode_guard spec n) (cnode_guard_size spec n) (cnode_size_bits spec n), vspace \ Types_D.PageDirectoryCap (the_pd_of n) Real None,