Advertisement
Guest User

Untitled

a guest
Oct 29th, 2015
355
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.83 KB | None | 0 0
  1. # Installing GuixSD in a virtualbox
  2.  
  3. * extract the xz like stated in the manual
  4.  
  5. * convert the raw image to a vdi:
  6.  
  7. <code>VBoxManage convertfromraw guixsd-usb-install-0.8.3.x86_64-linux guix.vdi --format vdi</code>
  8.  
  9. * create a new vm in virtualbox and create a virtual disk image of say 10GB
  10.  
  11. * in the settings of the virtualbox add a sata controller and a device and tell it to use <code>guix.vdi</code>
  12.  
  13. * boot the machine, press <code>f12</code> to boot from the EHCI device. this should give you a root prompt that might be hidden by some console output. press enter a few
  14. times to see the root prompt
  15.  
  16. <pre>
  17. #
  18. </pre>
  19.  
  20.  
  21. * setup the network controller:
  22.  
  23. <pre>
  24. ifconfig enp0s3 up
  25. dhclient enp0s3
  26. </pre>
  27.  
  28. note that the precise name of the controller might differ
  29.  
  30. * test it with a ping
  31.  
  32. <pre>
  33. ping heise.de
  34. </pre>
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement