diff --git a/config/cml/examples/posix/single_posix.cml b/config/cml/examples/posix/single_posix.cml
index 72da10f..0a38bd6 100644
--- a/config/cml/examples/posix/single_posix.cml
+++ b/config/cml/examples/posix/single_posix.cml
@@ -170,195 +170,5 @@ CONFIG_CONT0_VIRT3_CAP_MAP_UNMAP=y
 
 
 
-
-
-
-#
-# Derived symbols
-#
-CONFIG_CONT1_PHYS1_CAP_MAP_READ_=1
-CONFIG_CONT2_VIRT1_CAP_MAP_UTCB_=0
-CONFIG_CONT2_VIRT2_CAP_MAP_UTCB_=0
-CONFIG_CONT0_PHYS2_CAP_MAP_UNMAP_=1
-CONFIG_CONT1_VIRT4_CAP_MAP_WRITE_=1
-CONFIG_CONT3_VIRT2_CAP_MAP_UTCB_=0
-CONFIG_CONT0_PHYS1_CAP_MAP_UNMAP_=1
-CONFIG_CONT3_VIRT3_CAP_MAP_UTCB_=0
-CONFIG_CONT2_VIRT5_CAP_MAP_READ_=1
-CONFIG_CONT1_VIRT2_CAP_MAP_UTCB_=0
-CONFIG_CONT0_VIRT4_CAP_MAP_UTCB_=0
-CONFIG_CONT1_PHYS0_CAP_MAP_WRITE_=1
-CONFIG_CONT0_VIRT1_CAP_MAP_UTCB_=0
-CONFIG_CONT3_VIRT1_CAP_MAP_UNMAP_=1
-CONFIG_CONT1_VIRT1_CAP_MAP_WRITE_=1
-CONFIG_CONT1_VIRT2_CAP_MAP_READ_=1
-CONFIG_CONT2_VIRT2_CAP_MAP_UNMAP_=1
-CONFIG_CONT1_VIRT0_CAP_MAP_WRITE_=1
-CONFIG_CONT0_PHYS3_CAP_MAP_EXEC_=1
-CONFIG_CONT3_PHYS0_CAP_MAP_READ_=1
-CONFIG_CONT3_VIRT0_CAP_MAP_WRITE_=1
-CONFIG_CONT1_VIRT3_CAP_MAP_UTCB_=1
-CONFIG_CONT3_VIRT1_CAP_MAP_WRITE_=1
-CONFIG_CONT1_VIRT1_CAP_MAP_UNMAP_=1
-CONFIG_CONT0_PHYS1_CAP_MAP_EXEC_=1
-CONFIG_CONT0_VIRT1_CAP_MAP_EXEC_=1
-CONFIG_CONT2_PHYS0_CAP_MAP_READ_=1
-CONFIG_CONT0_VIRT0_CAP_MAP_UTCB_=0
-CONFIG_CONT3_VIRT2_CAP_MAP_EXEC_=1
-CONFIG_CONT1_PHYS0_CAP_MAP_READ_=1
-CONFIG_CONT0_PHYS1_CAP_MAP_WRITE_=1
-CONFIG_CONT0_VIRT0_CAP_MAP_WRITE_=1
-CONFIG_CONT3_PHYS1_CAP_MAP_WRITE_=1
-CONFIG_CONT1_VIRT3_CAP_MAP_READ_=1
-CONFIG_CONT0_VIRT0_CAP_MAP_UNMAP_=1
-CONFIG_CONT0_PHYS3_CAP_MAP_UNMAP_=1
-CONFIG_CONT2_VIRT3_CAP_MAP_UTCB_=0
-CONFIG_CONT1_VIRT2_CAP_MAP_WRITE_=1
-CONFIG_CONT1_VIRT5_CAP_MAP_UTCB_=0
-CONFIG_CONT3_VIRT4_CAP_MAP_READ_=1
-CONFIG_CONT3_VIRT4_CAP_MAP_UTCB_=0
-CONFIG_CONT3_VIRT3_CAP_MAP_READ_=1
-CONFIG_CONT0_PHYS1_CAP_MAP_READ_=1
-CONFIG_CONT1_VIRT5_CAP_MAP_WRITE_=1
-CONFIG_CONT2_PHYS2_CAP_MAP_READ_=1
-CONFIG_CONT1_VIRT0_CAP_MAP_READ_=1
-CONFIG_CONT2_VIRT4_CAP_MAP_EXEC_=1
-CONFIG_CONT0_PHYS0_CAP_MAP_READ_=1
-CONFIG_CONT2_VIRT0_CAP_MAP_UTCB_=0
-CONFIG_CONT1_VIRT5_CAP_MAP_READ_=1
-CONFIG_CONT3_VIRT0_CAP_MAP_READ_=1
-CONFIG_CONT0_VIRT0_CAP_MAP_EXEC_=1
-CONFIG_CONT0_VIRT5_CAP_MAP_WRITE_=1
-CONFIG_CONT1_VIRT5_CAP_MAP_EXEC_=1
-CONFIG_CONT2_PHYS0_CAP_MAP_EXEC_=1
-CONFIG_CONT3_PHYS3_CAP_MAP_UNMAP_=1
-CONFIG_CONT0_VIRT5_CAP_MAP_READ_=1
-CONFIG_CONT1_VIRT2_CAP_MAP_UNMAP_=1
-CONFIG_CONT1_PHYS2_CAP_MAP_EXEC_=1
-CONFIG_CONT0_VIRT1_CAP_MAP_READ_=1
-CONFIG_CONT0_PHYS2_CAP_MAP_EXEC_=1
-CONFIG_CONT3_VIRT5_CAP_MAP_UNMAP_=1
-CONFIG_CONT1_PHYS0_CAP_MAP_EXEC_=1
-CONFIG_CONT2_PHYS1_CAP_MAP_WRITE_=1
-CONFIG_CONT3_VIRT3_CAP_MAP_EXEC_=1
-CONFIG_CONT2_PHYS3_CAP_MAP_UNMAP_=1
-CONFIG_CONT3_VIRT5_CAP_MAP_EXEC_=1
-CONFIG_CONT1_PHYS1_CAP_MAP_WRITE_=1
-CONFIG_CONT3_VIRT3_CAP_MAP_WRITE_=1
-CONFIG_CONT0_VIRT2_CAP_MAP_EXEC_=1
-CONFIG_CONT2_VIRT2_CAP_MAP_EXEC_=1
-CONFIG_CONT0_VIRT1_CAP_MAP_UNMAP_=1
-CONFIG_CONT2_PHYS1_CAP_MAP_READ_=1
-CONFIG_CONT0_VIRT2_CAP_MAP_UNMAP_=1
-CONFIG_CONT0_VIRT2_CAP_MAP_READ_=1
-CONFIG_CONT0_VIRT4_CAP_MAP_READ_=1
-CONFIG_CONT3_VIRT1_CAP_MAP_EXEC_=1
-CONFIG_CONT3_PHYS0_CAP_MAP_WRITE_=1
-CONFIG_CONT3_PHYS2_CAP_MAP_UNMAP_=1
-CONFIG_CONT3_VIRT4_CAP_MAP_UNMAP_=1
-CONFIG_CONT3_PHYS3_CAP_MAP_EXEC_=1
-CONFIG_CONT1_VIRT3_CAP_MAP_WRITE_=1
-CONFIG_CONT3_VIRT0_CAP_MAP_UTCB_=0
-CONFIG_CONT0_PHYS2_CAP_MAP_WRITE_=1
-CONFIG_CONT1_PHYS1_CAP_MAP_UNMAP_=1
-CONFIG_CONT0_VIRT3_CAP_MAP_UNMAP_=1
-CONFIG_CONT0_PHYS3_CAP_MAP_READ_=1
-CONFIG_CONT2_VIRT5_CAP_MAP_WRITE_=1
-CONFIG_CONT2_VIRT4_CAP_MAP_UTCB_=0
-CONFIG_CONT2_PHYS0_CAP_MAP_WRITE_=1
-CONFIG_CONT0_VIRT4_CAP_MAP_EXEC_=1
-CONFIG_CONT2_VIRT0_CAP_MAP_READ_=1
-CONFIG_CONT1_PHYS2_CAP_MAP_READ_=1
-CONFIG_CONT1_VIRT1_CAP_MAP_EXEC_=1
-CONFIG_CONT2_VIRT3_CAP_MAP_EXEC_=1
-CONFIG_CONT2_VIRT4_CAP_MAP_WRITE_=1
-CONFIG_CONT3_VIRT1_CAP_MAP_READ_=1
-CONFIG_CONT1_VIRT1_CAP_MAP_READ_=1
-CONFIG_CONT3_VIRT2_CAP_MAP_READ_=1
-CONFIG_CONT2_PHYS3_CAP_MAP_WRITE_=1
-CONFIG_CONT0_VIRT3_CAP_MAP_WRITE_=1
-CONFIG_CONT3_PHYS2_CAP_MAP_EXEC_=1
-CONFIG_CONT2_VIRT5_CAP_MAP_UTCB_=0
-CONFIG_CONT1_PHYS2_CAP_MAP_UNMAP_=1
-CONFIG_CONT1_VIRT2_CAP_MAP_EXEC_=1
-CONFIG_CONT3_PHYS2_CAP_MAP_WRITE_=1
-CONFIG_CONT2_VIRT3_CAP_MAP_WRITE_=1
-CONFIG_CONT0_PHYS0_CAP_MAP_UNMAP_=1
-CONFIG_CONT3_VIRT5_CAP_MAP_WRITE_=1
-CONFIG_CONT1_VIRT3_CAP_MAP_EXEC_=1
-CONFIG_CONT2_VIRT4_CAP_MAP_UNMAP_=1
-CONFIG_CONT2_VIRT3_CAP_MAP_READ_=1
-CONFIG_CONT0_PHYS0_CAP_MAP_WRITE_=1
-CONFIG_CONT3_PHYS2_CAP_MAP_READ_=1
-CONFIG_CONT3_PHYS0_CAP_MAP_EXEC_=1
-CONFIG_CONT1_PHYS3_CAP_MAP_WRITE_=1
-CONFIG_CONT0_PHYS2_CAP_MAP_READ_=1
-CONFIG_CONT2_VIRT1_CAP_MAP_EXEC_=1
-CONFIG_CONT0_PHYS3_CAP_MAP_WRITE_=1
-CONFIG_CONT0_VIRT5_CAP_MAP_EXEC_=1
-CONFIG_CONT1_VIRT5_CAP_MAP_UNMAP_=1
-CONFIG_CONT2_PHYS2_CAP_MAP_EXEC_=1
-CONFIG_CONT0_VIRT5_CAP_MAP_UTCB_=0
-CONFIG_CONT1_VIRT4_CAP_MAP_READ_=1
-CONFIG_CONT1_VIRT1_CAP_MAP_UTCB_=0
-CONFIG_CONT0_PHYS0_CAP_MAP_EXEC_=1
-CONFIG_CONT1_VIRT0_CAP_MAP_UNMAP_=1
-CONFIG_CONT0_VIRT3_CAP_MAP_READ_=1
-CONFIG_CONT0_VIRT2_CAP_MAP_WRITE_=1
-CONFIG_CONT2_VIRT3_CAP_MAP_UNMAP_=1
-CONFIG_CONT1_VIRT4_CAP_MAP_EXEC_=1
-CONFIG_CONT3_VIRT4_CAP_MAP_WRITE_=1
-CONFIG_CONT2_VIRT2_CAP_MAP_WRITE_=1
-CONFIG_CONT2_PHYS0_CAP_MAP_UNMAP_=1
-CONFIG_CONT3_PHYS1_CAP_MAP_READ_=1
-CONFIG_CONT3_VIRT3_CAP_MAP_UNMAP_=1
-CONFIG_CONT1_PHYS3_CAP_MAP_UNMAP_=1
-CONFIG_CONT2_PHYS2_CAP_MAP_WRITE_=1
-CONFIG_CONT3_VIRT0_CAP_MAP_EXEC_=1
-CONFIG_CONT0_VIRT3_CAP_MAP_UTCB_=0
-CONFIG_CONT0_VIRT4_CAP_MAP_UNMAP_=1
-CONFIG_CONT1_PHYS2_CAP_MAP_WRITE_=1
-CONFIG_CONT2_VIRT0_CAP_MAP_WRITE_=1
-CONFIG_CONT2_VIRT4_CAP_MAP_READ_=1
-CONFIG_CONT2_VIRT5_CAP_MAP_EXEC_=1
-CONFIG_CONT2_VIRT1_CAP_MAP_UNMAP_=1
-CONFIG_CONT3_PHYS1_CAP_MAP_UNMAP_=1
-CONFIG_CONT2_PHYS1_CAP_MAP_UNMAP_=1
-CONFIG_CONT0_VIRT0_CAP_MAP_READ_=1
-CONFIG_CONT2_VIRT2_CAP_MAP_READ_=1
-CONFIG_CONT2_VIRT1_CAP_MAP_READ_=1
-CONFIG_CONT1_PHYS3_CAP_MAP_READ_=1
-CONFIG_CONT0_VIRT5_CAP_MAP_UNMAP_=1
-CONFIG_CONT0_VIRT4_CAP_MAP_WRITE_=1
-CONFIG_CONT3_PHYS3_CAP_MAP_WRITE_=1
-CONFIG_CONT0_VIRT3_CAP_MAP_EXEC_=1
-CONFIG_CONT2_VIRT5_CAP_MAP_UNMAP_=1
-CONFIG_CONT1_VIRT0_CAP_MAP_UTCB_=0
-CONFIG_CONT1_PHYS1_CAP_MAP_EXEC_=1
-CONFIG_CONT1_VIRT4_CAP_MAP_UNMAP_=1
-CONFIG_CONT2_PHYS3_CAP_MAP_EXEC_=1
-CONFIG_CONT3_PHYS3_CAP_MAP_READ_=1
-CONFIG_CONT3_VIRT1_CAP_MAP_UTCB_=0
-CONFIG_CONT3_VIRT5_CAP_MAP_READ_=1
-CONFIG_CONT3_PHYS0_CAP_MAP_UNMAP_=1
-CONFIG_CONT3_VIRT4_CAP_MAP_EXEC_=1
-CONFIG_CONT2_VIRT0_CAP_MAP_UNMAP_=1
-CONFIG_CONT3_VIRT0_CAP_MAP_UNMAP_=1
-CONFIG_CONT2_VIRT1_CAP_MAP_WRITE_=1
-CONFIG_CONT3_VIRT2_CAP_MAP_UNMAP_=1
-CONFIG_CONT1_VIRT3_CAP_MAP_UNMAP_=1
-CONFIG_CONT1_PHYS0_CAP_MAP_UNMAP_=1
-CONFIG_CONT2_VIRT0_CAP_MAP_EXEC_=1
-CONFIG_CONT1_VIRT4_CAP_MAP_UTCB_=0
-CONFIG_CONT3_VIRT5_CAP_MAP_UTCB_=0
-CONFIG_CONT0_VIRT1_CAP_MAP_WRITE_=1
-CONFIG_CONT2_PHYS2_CAP_MAP_UNMAP_=1
-CONFIG_CONT0_VIRT2_CAP_MAP_UTCB_=1
-CONFIG_CONT1_PHYS3_CAP_MAP_EXEC_=1
-CONFIG_CONT2_PHYS3_CAP_MAP_READ_=1
-CONFIG_CONT3_VIRT2_CAP_MAP_WRITE_=1
-CONFIG_CONT2_PHYS1_CAP_MAP_EXEC_=1
-CONFIG_CONT3_PHYS1_CAP_MAP_EXEC_=1
-CONFIG_CONT1_VIRT0_CAP_MAP_EXEC_=1
 #
 # That's all, folks!