Setting up from a VM

1. Download the latest version of VirtualBox and the extension pack from the VirtualBox site.
2. Install VirtualBox by going through the prompts.
3. When VirtualBox is started, you can open up File > Preferences > Extensions and add the extension pack file.
4. Add a new VM form the main window. Set the name as something like Ubuntu 20.04 RASBox. VirtualBox should autopopulate the type as Linux and Version as Ubuntu, 64 bit.
5. Set the memory size. 2048 MB (2 GB) should work fine for our purposes.
6. Create a virtual hard disk.
7. Choose the VDI disk file type.
8. Set the disk to be dynamically allocated.
9. Set the initial virtual hard disk size to 10 GB.
10. Create the VM. You should now see it in the left hand bar.
11. Click on the VM, then click on Settings on the top bar and General > Advanced. Enable Shared Clipboard and Drag'n'Drop to be bidirectional.
12. Go to System > Processor and bump up the processors if you want.
13. Go to USB and Enable the USB Controller. Select USB 2.0 (OHCI + EHCI) Controller.
14. Plug in your TM4C with USB connected to the Debug port and turned on.
15. Go to the right and click the button with a plus. See if VirtualBox can auto identify the USB connection (in Ubuntu, the connection is listed as Texas Instruments In-Circuit Debug Interface.
16. If no USB devices are identified, and if you are running Linux, add yourself to the vboxusers group using sudo adduser $USER vboxusers in your host terminal.
17. If you still can't find any devices, take a look at these troubleshooting documents: no USB devices being detected; enable USB in VirtualBox; see who's in a group;
18. Start the machine with the start button from the top bar.
19. Upon first starting up the VM, it asks for the OS image. Download the Ubuntu 20.04 image and select that image from the file selector.
20. Ubuntu will now go through the setup process.