virtual-processor.aadl 1.08 KB