Cannot read VHW structure!

ahmad kamal amadkamal at
Thu Jun 26 10:15:06 CEST 2008


thanks adam,

i'm trying to load l4linux on fiasco-ux,

hopefully, you guys don't mind if i ask very basics question.


Ahmad Kamal

----- Original Message ----
From: Adam Lackorzynski <adam at>
To: l4-hackers at
Sent: Thursday, June 26, 2008 2:52:07 PM
Subject: Re: Cannot read VHW structure!


On Wed Jun 25, 2008 at 22:09:05 -0700, ahmad kamal wrote:
> Fiasco-UX on Linux 2.6.18-6-686 (i686)
> Mapped 64 MB Memory + 0 KB Framebuffer + 0 KB Input Area on FD 3
> l4dope  | L4INPUT Fiasco-UX mode activated
> l4dope  | [B.2] input/lib/src/ux.c:95:init_stuff():
> l4dope  |  Cannot read VHW structure!
> I went through related codes, it's look likes the KIP is not the correct KIP
> Do you guys have any idea?
> this is what i try to run.
> ./fiasco -l events -l names -l log -l dm_phys -l simple_ts -l l4io -l l4dope

You need to add -G 800x600 at 16 (or similar) to the command line to get
the graphical mode. Also make sure to have "Graphical Console" enabled
in the Fiasco configuration.

Adam                adam at

l4-hackers mailing list
l4-hackers at

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the l4-hackers mailing list