Send l4-hackers mailing list submissions to
š š š š l4-hackers@os.inf.tu-dresden.de

To subscribe or unsubscribe via the World Wide Web, visit
š š š š http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
or, via email, send a message with subject or body 'help' to
š š š š l4-hackers-request@os.inf.tu-dresden.de

You can reach the person managing the list at
š š š š l4-hackers-owner@os.inf.tu-dresden.de

When replying, please edit your Subject line so it is more specific
than "Re: Contents of l4-hackers digest..."


Today's Topics:

š š1. Unable to boot Fiasco.OC on amd64 (Llu?s Vilanova)


----------------------------------------------------------------------

Message: 1
Date: Sun, 04 Aug 2013 22:44:24 +0300
From: Llu?s Vilanova <vilanova@ac.upc.edu>
To: l4-hackers@os.inf.tu-dresden.de
Subject: Unable to boot Fiasco.OC on amd64
Message-ID: <87eha95jhj.fsf@fimbulvetr.bsc.es>
Content-Type: text/plain; charset="us-ascii"

Hi there,

After having to play with the load addresses of both fiasco and some of the
modules [1], I've been able to boot fiasco, but only to find it chokes on some
assertion, immediately following a pager warning (see error.jpg screenshot).

Sorry for using a screenshot, but I've been unable to make the serial console
work, so no copy&paste is available.

As I'm new to L4, I don't know if the error is due to my changes or due to some
other mis-configuration on the boot process. See the attached grub2.txt for the
GRUB2 entries I've tried (the error corresponds to the first entry).

I'm using the l4re-core-2013060718 tarball, all compiled on a debian testing
(gcc 4.7.3).

Any help on the boot or the serial console support is much appreciated.


Thanks a lot,
š Lluis

[1] To avoid some region overlaps, see attached l4.patch, and memory.jpg for the
š š memory range configuration of the machine.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: l4.patch
Type: text/x-diff
Size: 3694 bytes
Desc: not available
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20130804/687bcf95/attachment.patch>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: memory.jpg
Type: image/jpeg
Size: 46058 bytes
Desc: not available
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20130804/687bcf95/attachment.jpg>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: error.jpg
Type: image/jpeg
Size: 77598 bytes
Desc: not available
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20130804/687bcf95/attachment-0001.jpg>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: grub2.txt
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20130804/687bcf95/attachment.txt>
-------------- next part --------------


--
š"And it's much the same thing with knowledge, for whenever you learn
šsomething new, the whole world becomes that much richer."
š-- The Princess of Pure Reason, as told by Norton Juster in The Phantom
šTollbooth

------------------------------

_______________________________________________
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers


End of l4-hackers Digest, Vol 124, Issue 4
******************************************