- 04 Oct, 2022 1 commit
-
-
Jonas Kaufmann authored
-
- 22 Sep, 2022 2 commits
-
-
Antoine Kaufmann authored
-
Antoine Kaufmann authored
More support for funky memory things.
-
- 21 Sep, 2022 1 commit
-
-
Antoine Kaufmann authored
For now the devmem command comes in handy, but probably generally good to have.
-
- 28 May, 2022 1 commit
-
-
Antoine Kaufmann authored
-
- 26 May, 2022 9 commits
-
-
Antoine Kaufmann authored
-
Antoine Kaufmann authored
These are no longer included in base image.
-
Antoine Kaufmann authored
-
Antoine Kaufmann authored
-
Antoine Kaufmann authored
Remove the ubuntu1804 image. Base only has basic tools, no build tools or libraries. Install build deps in nopaxos, mtcp, and tas images.
-
Antoine Kaufmann authored
-
Antoine Kaufmann authored
This speeds up base image build significantly
-
Antoine Kaufmann authored
Just run different scripts inside. This avodis lots of duplication in the jsons.
-
Antoine Kaufmann authored
This is a lot faster than manually installing from ISO.
-
- 17 Jan, 2022 1 commit
-
-
Antoine Kaufmann authored
-
- 05 Sep, 2021 1 commit
-
-
Jialin Li authored
-
- 07 Feb, 2021 1 commit
-
-
Antoine Kaufmann authored
-
- 06 Dec, 2020 2 commits
-
-
Antoine Kaufmann authored
-
Antoine Kaufmann authored
-
- 17 Nov, 2020 1 commit
-
-
Jialin Li authored
-
- 15 Sep, 2020 1 commit
-
-
Antoine Kaufmann authored
-
- 13 Sep, 2020 1 commit
-
-
Antoine Kaufmann authored
A base ubuntu image and two derived images for nopaxos and mtcp
-
- 23 Jun, 2020 1 commit
-
-
Jialin Li authored
-
- 19 Jun, 2020 1 commit
-
-
Antoine Kaufmann authored
-
