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

[Adam Lackorzynski]

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                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/