mirror of
https://github.com/linuxkit/linuxkit.git
synced 2025-10-09 16:48:49 +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.