Unfortunately it seems that multiple people in the community are struggling to build from source after we upgraded to the latest version of Pyoxidizer (same issue as https://github.com/seL4/microkit/issues/37)
The nature of this problem comes from our over-reliance on 3rd-party dependencies to package the Microkit tool. We will most likely encounter further issues as we are compiling an interpreted language.
However, even if we were to switch to a compile time langauge (e.g Rust) we would still have problems as the Rust compiler is not isolated.
Unfortunately it seems that multiple people in the community are struggling to build from source after we upgraded to the latest version of Pyoxidizer (same issue as https://github.com/seL4/microkit/issues/37)
This seems to be a known issue in the project https://github.com/indygreg/PyOxidizer/issues/673.
The nature of this problem comes from our over-reliance on 3rd-party dependencies to package the Microkit tool. We will most likely encounter further issues as we are compiling an interpreted language.
However, even if we were to switch to a compile time langauge (e.g Rust) we would still have problems as the Rust compiler is not isolated.