christos ac2d876c25 Use getdiskinfo() to print the name of the device; the previous code ... constructed the wrong name if it was a wedge.		2011-11-14 21:34:50 +00:00
..
compile
conf	Expose Xen kernfs entries inside a domU. Patch originally from sborrill@,	2011-09-22 23:02:34 +00:00
i386	Retire varargs.h support. Move machine/stdarg.h logic into MI	2011-07-17 20:54:30 +00:00
include	Expose the PG_k #define pt/pd bit to both xen and "baremetal" x86. This is required, since kernel pages are mapped with user permissions in XEN/amd64 since the VM kernel runs in ring3. Since XEN/i386(including PAE) runs in ring1, supervisor mode is appropriate for these ports. We need to share this since the pmap implementation is still shared. Once the xen implementation is sufficiently independant of the x86 one, this can be made private to xen/include/xenpmap.h	2011-11-08 17:16:52 +00:00
x86	Expose the PG_k #define pt/pd bit to both xen and "baremetal" x86. This is required, since kernel pages are mapped with user permissions in XEN/amd64 since the VM kernel runs in ring3. Since XEN/i386(including PAE) runs in ring1, supervisor mode is appropriate for these ports. We need to share this since the pmap implementation is still shared. Once the xen implementation is sufficiently independant of the x86 one, this can be made private to xen/include/xenpmap.h	2011-11-08 17:16:52 +00:00
xen	Use getdiskinfo() to print the name of the device; the previous code	2011-11-14 21:34:50 +00:00
xenbus	Expose Xen kernfs entries inside a domU. Patch originally from sborrill@,	2011-09-22 23:02:34 +00:00
Makefile	Include more sources in the tags target. Don't compute tags on some	2010-03-31 00:00:33 +00:00