Issue in getting Virtual Hardware devices

[Adam Lackorzynski]

Hi,

On Thu Aug 08, 2013 at 14:40:18 +0530, Raja Sekhar wrote:
>            I'm working on L4 fiasco. In that I  want to read the virtual
> hardware devies. for tha I'm running the code from *
> l4/pkg/example/sys/ux-vhw/main.c

This example is for Fiasco-UX only. Are you using Fiasco-UX or a native
version?



Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/