issue in getting vhw_devices....................
Raja Sekhar <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <CANpDRmBs_RC-2DyBMd4x=m09fqc6oUtsjQa=UowT2Dsso4djbA@mail.gmail.com> |
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
_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers