X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/d2904c5e14a2d9c6585ce5e2ff536584c91aeb99..72f8c5b742f7e0c579f3025c1e736ab5011c10ee:/l4/tool/bin/qemu-x86-launch

diff --git a/l4/tool/bin/qemu-x86-launch b/l4/tool/bin/qemu-x86-launch
index 5cc1c20bc..15758c27e 100755
--- a/l4/tool/bin/qemu-x86-launch
+++ b/l4/tool/bin/qemu-x86-launch
@@ -48,5 +48,6 @@ my $qemu_cmd =
       "$qemu -kernel $kernel -append \"$entry{bootstrap}{cmdline}\" ".
       "-initrd \"$initrd\" ".join(' ', @ARGV);
 
+print "Note: At least QEmu 0.13 is required for the loading to work.\n";
 print "$qemu_cmd\n";
 system("$qemu_cmd");