Ian Jackson b24cc32251 rump kernels: Start introducing new XEN_OS NetBSDRump ...

Provide an entry in config/, and a copy of xen-sys privcmd.h.

Signed-off-by: Ian Jackson <ian.jackson@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>

2014-07-14 16:07:50 +01:00

..

xen-external

mini-os: use BSD sys/queue.h instead of Linux list.h

2012-01-31 16:06:14 +00:00

xen-foreign

xen: arm: TCR_EL1 is 64-bit on arm64

2013-12-04 14:32:19 +00:00

xen-sys

rump kernels: Start introducing new XEN_OS NetBSDRump

2014-07-14 16:07:50 +01:00

Makefile

xen: Install arch-arm directory headers

2014-07-10 11:20:08 +01:00