Rusty Russell b45d8cb054 Make lguest_launcher.h types userspace-friendly ... lguest_launcher.h uses "u32" not "__u32", which sets a bad example. Fix that, and include <linux/types.h>. This means we need to use -I on the Launcher build line so types.h is found. Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>		2007-10-23 15:49:49 +10:00
..
extract	lguest: documentation I: Preparation	2007-07-26 11:35:16 -07:00
lguest.c	Make lguest_launcher.h types userspace-friendly	2007-10-23 15:49:49 +10:00
lguest.txt	lguest.txt update	2007-10-23 15:49:48 +10:00
Makefile	Make lguest_launcher.h types userspace-friendly	2007-10-23 15:49:49 +10:00