mirror of
https://github.com/linuxkit/linuxkit.git
synced 2026-04-04 19:24:21 +00:00
This is useful for some baremetal configs, such as using USB sticks on a RPi3. I enabled it for x86_64 as well to keep the differences smaller. Signed-off-by: Rolf Neugebauer <rolf.neugebauer@gmail.com>
See ../docs/kernels.md for more information on kernel builds.