[seL4] additional: some question about VisualCAmkES ?