#include <sys/sysctl.h>
#include <sys/utsname.h>
#include <paths.h>
+#include <ctype.h>
+#include <pwd.h>
+#include <grp.h>
+#include <stdarg.h>
#include <nestedvm/socket.h>
}
}
+// FIXME: This needs to be in a header
+char *getlogin() {
+ return getenv("USER");
+}
+
/*
* Other People's Code