diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2021-10-15 19:08:56 +0200 |
|---|---|---|
| committer | Aleksandr Nogikh <wp32pw@gmail.com> | 2021-10-18 18:00:06 +0200 |
| commit | 24dc29dba51a8ae7ae86ebc04521a0b2223c531f (patch) | |
| tree | 51509bb7607af67082139f7e79495e6664c9695b /executor/common_linux.h | |
| parent | 0c5d9412d774262384cbdbe9d672b077364ed776 (diff) | |
tools: add script for building of buildroot images
We used to use Debian-based images, but they have several issues:
1. They boot too slowly (we don't need full systemd power).
2. Systemd mounts cgroup controllers so that we can't use them during fuzzing
(can be mounted only once).
3. We have poor control over contents of the image.
This script creates lightweight buildroot-based images that boot fast.
Diffstat (limited to 'executor/common_linux.h')
0 files changed, 0 insertions, 0 deletions