Re: issue in getting vhw_devices....................
Adam Lackorzynski <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
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 [email protected] Lackorzynski http://os.inf.tu-dresden.de/~adam/