Hi，
I want to use VisualCAmkES for view，I follow the step of
https://docs.sel4.systems/projects/camkes/visual-camkes/
I meet the below Problem， how can I resolve it ？
Thank you very much
Syntax Error
(u'/home/yadong.li/seL4_vm_11/
sel4_horizon/camkes-arm-vm/projects/vm/
apps/vm_cross_connector/vm_cross_connector.camkes:36:5: \x1b[31m\
x1b[1mVM_INIT_DEF\x1b[0m()', u' ',
u"Syntax error in input at 'VM_INIT_DEF'
(type ID) line 36 col 5", u"Syntax error
in input at 'VM_GENERAL_COMPOSITION_DEF'
(type ID) line 45 col 9", u"Syntax error
in input at '(' (type _ANON_4) line 60
col 37")
_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel
