search

au-ts / lionsos

A secure, fast, and adaptable OS based on the seL4 microkernel
https://lionsos.org
BSD 2-Clause "Simplified" License
84 stars 12 forks source link

Repository size is too large #47

Closed Ivan-Velickovic closed 2 months ago

Ivan-Velickovic commented 6 months ago

Cloning the repository with all its submodules takes up far too much disk space.

The main reason for this is libvmm which has example Linux guest images which are dozens of megabytes.

In the examples/ of this repository, we also have some Linux kernel images checked in as well as the initrd.

These should be removed and instead replaced with a step in the build system to fetch the images.

Ivan-Velickovic commented 2 months ago

Resolved now, a fresh clone is ~60MB but that is due to artefacts that are committed in other branches. We should see the repo drop to less than 10MB once we finish off all those other branches.