mirror of
https://github.com/linuxkit/linuxkit.git
synced 2026-05-05 12:09:34 +00:00
Update kernel config
- remove unused graphics options - move W^X test to debug kernel #685 - reboot on kernel panic fix #660 Signed-off-by: Justin Cormack <justin.cormack@docker.com>
This commit is contained in:
@@ -50,6 +50,7 @@ COPY kernel_config.debug /linux/debug_config
|
||||
ARG DEBUG=0
|
||||
|
||||
RUN if [ $DEBUG -ne "0" ]; then \
|
||||
sed -i 's/CONFIG_PANIC_ON_OOPS=y/# CONFIG_PANIC_ON_OOPS is not set/' /linux/arch/x86/configs/x86_64_defconfig; \
|
||||
cat /linux/debug_config >> /linux/arch/x86/configs/x86_64_defconfig; \
|
||||
fi
|
||||
|
||||
|
||||
Reference in New Issue
Block a user