Building CLIP OS v4 from published sources

Thanks to the efforts of @ptrebuchet-anssi & @msalaun-anssi, the CLIP OS v4 sources have been updated to simplify the steps needed to build this version (see the rump talk at SSTIC 2019 (French only)).

If you want to give it a try, you may start with the CLIP OS SDK from clipos-archive/clipos4_artifacts once you have downloaded the sources using instructions from clipos-archive/clipos4_manifest.

Binary releases of packages, installer ISO and a virtual machine image will come later.

Please remember that this version is only available as reference and is not actively developed nor supported by ANSSI and must not be used in production.