int i = 0;
pde32_4MB_t * pde = NULL;
- PrintError(core->vm_info, core, "Setting up internal VMXASSIST page tables\n");
+ V3_Print(core->vm_info, core, "Setting up internal VMXASSIST page tables\n");
if (v3_gpa_to_hva(core, VMXASSIST_1to1_PT, (addr_t *)(&pde)) == -1) {
PrintError(core->vm_info, core, "Could not find VMXASSIST 1to1 PT destination\n");
there may be hidden Linux assumptions.
The tool assumes you have already built Palacios, the Linux embedding,
-and the Linux user-sapce tools. If you haven't done this, hit CTRL-C
+and the Linux user-space tools. If you haven't done this, hit CTRL-C
now, configure and build Palacios, the user-space tools, and run
v3_config_v3vee.pl.
close(PAL);
-print "\n\nYour guest is now ready in the directory $dir\n";
+print "\n\nYour guest is now ready in the directory $dir\n\n";
+print "To run it, do:\n\n";
+print " cd $dir\n";
+print " v3_create -b $name.pal $name\n";
+print " v3_launch /dev/v3-vmN (N given by v3_create\n\n";
+print "Other useful tools:\n\n";
+print " v3_console (CGA console)\n";
+print " v3_stream (connect to stream, for example, serial port)\n\n";
exit;
print " * FILEDISK - the data is kept in a host file (common) : ".($canfiledisk ? "available" : "UNAVAILABLE")."\n";
print " * NETDISK - the data is accessed via the network (uncommon) : ".($cannetdisk ? "available" : "UNAVAILABLE")."\n";
print " * TMPDISK - the data is kept in memory and discarded (common) : ".($cantmpdisk ? "available" : "UNAVAILABLE")."\n";
- print " * RAMDISK - the data is kept in memory (common) : ".($canramdisk ? "available" : "UNAVAILABLE")."\n";
while (1) {
print "Which option do you want for this device? {".join(", ",@disks)."} [] : ";
$type = get_user("");