fosslinux

#!/usr/bin/python3
import sys
import os
import re
import io
import requests
import json
import io
import html

fosslinux

#!/bin/sh

mkdir -p sel4-project/projects
cd sel4-project
git clone https://github.com/sel4/sel4 kernel
git clone https://github.com/seL4/seL4_libs projects/seL4_libs
git clone https://github.com/seL4/seL4_tools tools

ln -s tools/cmake-tool/default-CMakeLists.txt ./CMakeLists.txt
ln -s tools/cmake-tool/init-build.sh .