Re: issue in getting vhw_devices....................

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