Something went wrong. Try again.
seL4 pager with proven memory isolation and frame reuse
Something went wrong. Try again.
123456789101112131415161718#!/bin/shset -eucache="${SPLIT_CACHE:-$HOME/.cache/split}"mkdir -p "$cache"if [ ! -f "$cache/sdk.tar.gz" ]; then curl -fL --retry 2 https://github.com/seL4/microkit/releases/download/2.3.1/microkit-sdk-2.3.1-linux-x86-64.tar.gz -o "$cache/sdk.tar.gz"fiif [ ! -f "$cache/source.tar.gz" ]; then curl -fL --retry 2 https://codeload.github.com/seL4/microkit/tar.gz/refs/tags/2.3.1 -o "$cache/source.tar.gz"fiprintf '%s %s\n' b1b285b8785db7557eba6d0665dd4fbf2f265ea5c0b39d6f91ae3dcc43d2c424 "$cache/sdk.tar.gz" 67ae034628465c35169c398dd7d9ea61dbe8bd93c7a9adb05b9bb31bae25c22f "$cache/source.tar.gz" | sha256sum -c -if [ ! -d "$cache/microkit-sdk-2.3.1" ]; then tar -xzf "$cache/sdk.tar.gz" -C "$cache"fitar -xzf "$cache/source.tar.gz" -C "$cache"patch -s -p1 -d "$cache/microkit-2.3.1" < "$(dirname "$0")/microkit.patch"cargo build --release --locked -p microkit-tool --manifest-path "$cache/microkit-2.3.1/Cargo.toml"