Changes for Bob

Summary:
This revision contains all the adjustments to build the Muen SK
toolchain (arm64, x86_64) with bob.

The most important changes are as follows.

Remove relative paths from library with clauses and use external
GENERATED_DIR instead of hardcoded value. This allows the specification
of the directory for generated sources via the GENERATED_DIR
project/environment variable.

Make Object_Dir settable in gnattest*_.gpr files. When building the test
out of tree the object_dir must be in the build-directory. Otherwise
"cannot relocate deeper then object directory" error is thrown.

Adapt mucheckstack-test to lower stack usage.

Unify PT ending in Mucfgexpand SMMU expander: use _pt instead of .pt
like in the kernel and subject PT expanders.

Set unit.engine to GNATtestEngineBob in arcconfig and switch from pep8
to black linter/formatter in arclint.

Remove strange character in vcpu.xsd documentation.

Make solo5-muen-gencspec.py work with bob and lief 0.17.1.

Docker: Pin solo5 to current version. Contains sinfo update to version
0x4. Also build https.muen and unipi unikernels during docker image build.

Drop now obsolete Dockerfile.muen-dev-env. System images are built by
bob now.

Remove sbs submodule.

Publish docker container if branch is devel and also tag image with
branch-shortref.

Finally, delete all Makefiles.

Reviewers: ken

Reviewed By: ken

Differential Revision: https://dev.codelabs.ch/D1225

Author: reet-

.arcconfig

@@ -4,7 +4,7 @@
 	"arc.land.onto" : [ "devel" ],
 	"arc.land.onto.default": "devel",
 	"arc.land.strategy" : "merge",
-	"unit.engine" : "GNATtestEngine",
+	"unit.engine" : "GNATtestEngineBob",
 	"repository.callsign" : "MTO",
 	"history.immutable" : true
 }

.arclint

@@ -16,8 +16,8 @@
 				"script-and-regex.regex": "/^(?P<message>.*)$/m"
 		},
 
-		"pep8": {
-			"type": "pep8",
+		"black": {
+			"type": "black",
 			"include": "(\\.py$)"
 		}
 	}

.github/workflows/mirageos.yml

@@ -28,14 +28,21 @@ jobs:
           registry: ghcr.io
           username: ${{ github.actor }}
           password: ${{ secrets.GITHUB_TOKEN }}
+
+      - name: Setup env
+        run: echo "SHORTREF=$(echo $GITHUB_SHA | cut -c1-12)" >> $GITHUB_ENV
+
       - name: Build Docker image
         id: docker_build
-        uses: docker/build-push-action@v5
+        uses: docker/build-push-action@v6
         with:
           context: .
           file: ./docker/Dockerfile.muen-mirageos
           platforms: linux/amd64
           push: ${{ github.ref == 'refs/heads/devel' }}
           cache-from: type=local,src=/tmp/.buildx-cache
           cache-to: type=local,dest=/tmp/.buildx-cache
-          tags: ghcr.io/codelabs-ch/muen-mirageos:latest
+          tags: |
+            ghcr.io/codelabs-ch/muen-mirageos:latest
+            ghcr.io/codelabs-ch/muen-mirageos:${{ github.ref_name }}
+            ghcr.io/codelabs-ch/muen-mirageos:${{ github.ref_name }}-${{ env.SHORTREF }}

Makefile

@@ -8,15 +8,32 @@ RUN curl -SL https://github.com/ocaml/opam/releases/download/2.1.5/opam-2.1.5-x8
 	&& chmod 755 $(which opam)
 USER opam
 
+RUN git clone https://github.com/Solo5/solo5.git \
+	&& git -C solo5 reset --hard dabc69fd89b8119449ec4088c54b458d4ccc851b
+
 RUN cd /home/opam/opam-repository \
 	&& git fetch origin master \
 	&& git reset --hard 6d17c11f6930230daaef6a30d13bc23c1597fc9f \
 	&& opam update \
+	&& opam pin add solo5 $HOME/solo5 \
 	&& opam install -y mirage.4.4.2
 
-RUN git clone https://github.com/mirage/mirage-skeleton
+# clone mirage-skeleton and prepare dependencies.
+# the settings are as described in the muen.sk article.
+RUN git clone https://github.com/mirage/mirage-skeleton \
+	&& cd mirage-skeleton/applications/static_website_tls \
+	&& git reset --hard c7841e2796270c3114cbff932e3f7a0ff86b62c4 \
+	&& eval $(opam env) \
+	&& mirage configure -t muen --ipv4=192.168.254.10/24 --ipv4-gateway=192.168.254.1 \
+	&& make \
+	&& mv dist/https.muen $HOME/
+
+# clone unipi and perpare dependencies.
 RUN git clone -b with-kv-mirage4 https://github.com/roburio/unipi.git \
 	&& cd unipi \
-	&& git reset --hard 90dd597b41aee0162cdc75d87a1ce3ca415bef55
+	&& git reset --hard 90dd597b41aee0162cdc75d87a1ce3ca415bef55 \
+	&& eval $(opam env) \
+	&& mirage configure -t muen --ipv4=192.168.254.10/24 --ipv4-gateway=192.168.254.1 \
+	&& make
 
 CMD [ "bash" ]