4 Commits

Author	SHA1	Message	Date
Adrian-Ken Rueegsegger	923fbc9e86	Update Muen port ... - Adjust Muen RUN_OPTs - Update documentation - Checkout required submodule	2017-05-31 13:16:22 +02:00
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
Christian Helmuth	da21a3c338	create_grub2: ext2 default parameters for image ... The mkfs.ext2 heuristics select the "small" ext2 usage type, which does not fit well with GiB-sized pen drives. For example, the block size is just 1024 bytes compared to 4096 for "default". Therefore, we enforce the default usage type as this fits our use case of dumping the image to USB sticks better.	2015-03-13 12:17:26 +01:00
Josef Söntgen	c706b1c0a7	run: modularize run tool	2015-01-26 12:28:40 +01:00