Re: pic.h

[Patrick Welche <prlw1%cam.ac.uk@localhost>]

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?

Cheers,

Patrick