[taler-grid5k] 174/189: add mitigations=off in grid5000 base.yaml as it gets overriden

[gnunet]

This is an automated email from the git hooks/post-receive script.

marco-boss pushed a commit to branch master
in repository grid5k.

commit 17967ceb032ff3c0a30bd7ff17975c117593fe16
Author: Boss Marco <bossm8@bfh.ch>
AuthorDate: Wed Apr 20 14:14:46 2022 +0200

    add mitigations=off in grid5000 base.yaml as it gets overriden
---
 image/debian11/grid5000/from_scratch/base.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/image/debian11/grid5000/from_scratch/base.yaml 
b/image/debian11/grid5000/from_scratch/base.yaml
index 8fddec3..3c89aab 100644
--- a/image/debian11/grid5000/from_scratch/base.yaml
+++ b/image/debian11/grid5000/from_scratch/base.yaml
@@ -82,7 +82,7 @@ global:
   zerofree: false
 
   # GRUB
-  grub_cmdline_linux: console=tty0 console=ttyS0,115200
+  grub_cmdline_linux: mitigations=off console=tty0 console=ttyS0,115200
 
   http_directory: $${kameleon_cwd}/http_dir
   http_pid:  $${kameleon_cwd}/http.pid

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.