GitLab

These are currently not correct and trigger randomly because of races.

fixes corrupted intro message and re-enables build of proxy in all
target.

For qemu the syntax changed, and network simulators dropped the
alternative synchronization protocol parameter.

libsimbricks combines the base, pcie, and network libraries in one
archive.

Fix up behavioral nic simulators to compile and link again.

High-level idea is to separate a out a base-protocol and library that
the PCIe and network protocols layer over. The base-protocol includes
synchronization and the basics of setting up queues, and transferring
messages. So this will enable us to build protocol-agnostic pieces like
proxies, loggers etc. A secondary goal down the line is to remove the
fixed roles of  "nics listen on pcie & network" while hosts and networks
connect, instead making this dynamic.

Unfortunately this is a big change touching just about every piece
interfacing with simbricks. So this is also consolidating and
restructuring our simbricks libraries and adapters, reducing copying of
code etc. After this commit all simulators, ours and external ones, are
broken till the respective commits fixing them.

Mostly because the refactoring will break lots of things here.

This increases build time, and might hurt disk performance for kvm/qemu
a bit. So we disable it by default. But will be useful for docker images
etc.

This significantly reduces image size, and since we're not using the
images interactively does not sacrifice anything we care about.

Remove the ubuntu1804 image. Base only has basic tools, no build tools
or libraries. Install build deps in nopaxos, mtcp, and tas images.

Necessary for for building the tas image.

Only builds base image, none of the others.

This speeds up base image build significantly

Just run different scripts inside. This avodis lots of duplication in
the jsons.

This is a lot faster than manually installing from ISO.

Ubuntu cloud images use this for EFI.

Apparently if the config file exists, the requirements file won't be read by default.

This should hopefully speed up build time for docs and avoid wasting their compute cycles.

Seems like the right thing to do, plus readthedocs only supports public urls.