1 Introduction 2 VM Setup

3.Launch VirtualBox, go to File ! Preferences ! Extensions and add the Virtual Box Extension Pack you downloaded in step 1b. ... $ brew install openjdk@11 # Install ant. $ brew install ant # Install spim. $ brew install spim # Create workspace folder. $ mkdir workspace # Set the j environment variable. ................
................