diff options
-rw-r--r-- | defaultenv/bin/boot | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/defaultenv/bin/boot b/defaultenv/bin/boot index b54ea6b71c..61b893a724 100644 --- a/defaultenv/bin/boot +++ b/defaultenv/bin/boot @@ -134,4 +134,8 @@ fi echo "booting kernel from $kdev" +#try to execute the file +# it does not work as example for /dev as the file is not executable +$kdev $bootm_opt +# fall back on bootm bootm $bootm_opt $kdev |