tree f9b91a045a6e602ccb3d8a478d2b235701e1c09e
parent 9653c4aff94e43de5f4ef918d47e00018beb4105
author Rusty Russell <rusty@rustcorp.com.au> 1193014584 +1000
committer Rusty Russell <rusty@rustcorp.com.au> 1193118589 +1000

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>