issue in getting vhw_devices....................

Adam Lackorzynski adam at
Tue Aug 13 23:38:57 CEST 2013

On Tue Aug 13, 2013 at 15:39:59 +0530, Raja Sekhar wrote:
>                I've downloaded l4re-core-2013041501.tar.bz2 and extracted
> and compiled fiasco kernel with following configuration
>                              Architecture->  IA-32 processor family,
>                              Platform     ->  PC Platform,
>                              CPU          ->   Intel Pentium Pro
> After that i compiled L4re env....and I just ran one example ux-vhw(which
> is the code for display Virtual hardware device).  In that I'm getting
> value *'0'* for the fileld *vhw_offset *from the kernel info structure *struct
> l4_re_kernel_info_t.* Why It is giving zero and what does it mean....*

The example you have been running is for Fiasco-UX. Fiasco-UX is a
Fiasco version running as a Linux program. According to your description
you've built a Fiasco for x86, i.e. able to run on native hardware. This
is why the ux-specific example won't work.

Adam                 adam at

More information about the l4-hackers mailing list