* (c) Jack lange, 2010
*/
-
-#include <stdio.h>
-#include <stdlib.h>
-#include <fcntl.h>
-#include <sys/ioctl.h>
-#include <sys/stat.h>
-#include <sys/types.h>
-#include <unistd.h>
-#include <string.h>
-
#include "v3_ctrl.h"
int main(int argc, char* argv[]) {
- int vm_fd = 0;
char * filename = argv[1];
- int err;
-
- if (argc <= 1) {
- printf("usage: v3_launch <vm-device>\n");
- return -1;
- }
-
- printf("Launching VM (%s)\n", filename);
-
- vm_fd = open(filename, O_RDONLY);
-
- if (vm_fd == -1) {
- printf("Error opening V3Vee VM device\n");
- return -1;
- }
-
- err = ioctl(vm_fd, V3_VM_LAUNCH, NULL);
- if (err < 0) {
- printf("Error launching VM\n");
- return -1;
- }
+ if (argc <= 1)
+ v3_usage("<vm-device>\n");
-
- /* Close the file descriptor. */
- close(vm_fd);
-
-
+ launch_vm(filename);
return 0;
}
-
-