<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Okay, it looks like the xmpl-hello doesn't get built. You can build
it manually by running <br>
<br>
make x86_64/sbin/examples/xmpl-hello<br>
<br>
and then make qemu_x86_64 to launch qemu. If you want to include it
in the default build, you should add it to symbolic_targets.mk as
described in the wiki. Just the line now has to be<br>
<br>
/x86_64/sbin/examples/xmpl-hello \<br>
<br>
instead of <br>
<br>
/sbin/examples/xmpl-hello \<br>
<br>
Hope that helps,<br>
Lukas<br>
<br>
<div class="moz-cite-prefix">On 01.04.2016 15:42, Abderrahman
Said-Alaoui wrote:<br>
</div>
<blockquote
cite="mid:CAC0dGt80vH3+n+u2X=aH2AEgd1Td03PUT5VK9Jb6B6Khk_dOew@mail.gmail.com"
type="cite">
<meta http-equiv="Content-Type" content="text/html;
charset=windows-1252">
<div dir="ltr">
<div class="gmail_default"
style="font-family:verdana,sans-serif">Taking for example the
program xmpl-hello in the Programming_for_Barrelfish page, I
followed every step in the page, I used "make rehake" in order
to update the makefile. </div>
<div class="gmail_default"
style="font-family:verdana,sans-serif"><br>
</div>
<div class="gmail_default"
style="font-family:verdana,sans-serif">Using "make
qemu_x86_64" to boot barrelfish, qemu fails with the following
message: Failed to open file 'x86_64/sbin/examples/xmpl-hello'</div>
-- <br>
<div class="gmail_signature">
<div dir="ltr"><span style="font-family:georgia,serif">Abderrahman
Said-Alaoui</span><br>
</div>
</div>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
Barrelfish-users mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Barrelfish-users@lists.inf.ethz.ch">Barrelfish-users@lists.inf.ethz.ch</a>
<a class="moz-txt-link-freetext" href="https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users">https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users</a>
</pre>
</blockquote>
<br>
</body>
</html>