Adrian-Ken Rueegsegger aefacc9310 run: Add image/muen script to support Muen SK build ...

The script takes the following RUN_OPT parameters:

--image-muen-external-build  Muen system is built automatically or externally
--image-muen-system          Muen system policy
--image-muen-components      Muen system components
--image-muen-hardware        Muen hardware platform
--image-muen-gnat-path       Path to GNAT toolchain
--image-muen-spark-path      Path to SPARK toolchain

2016-01-08 14:37:56 +01:00

..

disk

create_grub2: ext2 default parameters for image

2015-03-13 12:17:26 +01:00

iso

run: modularize run tool

2015-01-26 12:28:40 +01:00

muen

run: Add image/muen script to support Muen SK build

2016-01-08 14:37:56 +01:00

uboot

run: modularize run tool

2015-01-26 12:28:40 +01:00