Re: pic.h

[Robert Swindells <rjs%fdy2.co.uk@localhost>]

Patrick Welche <prlw1%cam.ac.uk@localhost> wrote:
>On Wed, Mar 05, 2014 at 02:27:49PM +0000, Robert Swindells wrote:
>> There isn't anything in it that you can call from userspace.
>
>Right: I'm trying to make a rump library out of the vnd kernel module,
>which explains the pic.h part. More simply: how do you deal with some
>headers doing #include <machine/...>, eg sys/cdefs.h,  just within /sys
>as there is no machine directory?

My guess would be to create src/sys/rump/include/machine/pic.h
containing whatever you need to be in there.

Robert Swindells