- 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 4 commits
-
-
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
This speeds up base image build significantly
-
Antoine Kaufmann authored
Just run different scripts inside. This avodis lots of duplication in the jsons.
-
- 17 Jan, 2022 1 commit
-
-
Antoine Kaufmann authored
-