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

[Raja Sekhar]

Hello to all,

               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....*

Thanks*,
Raja Sekhar
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20130813/48753adc/attachment.html>