update

[l4.git] / l4 / tool / bin / qemu-x86-launch

diff --git a/l4/tool/bin/qemu-x86-launch b/l4/tool/bin/qemu-x86-launch
index 5cc1c20bc90ce48bc0f08a29d808d86d009c344b..15758c27e56e6ebc3ce4a040e7ce47bb4bbd06e5 100755 (executable)
--- 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");