2 years agoAbandon port forwarding and set up ssh proxy instead
Steve McIntyre [Thu, 7 May 2020 17:19:20 +0000 (18:19 +0100)]
Abandon port forwarding and set up ssh proxy instead

Added ssh config and script to use it.

Specify "./vm_ssh toolchain_vm" or "./vm_ssh runtime_vm" to log into
either of the two machines.

2 years agoSimple startup script to go into /usr/local/bin in the runtime VM
Steve McIntyre [Thu, 7 May 2020 17:00:18 +0000 (18:00 +0100)]
Simple startup script to go into /usr/local/bin in the runtime VM

2 years agoDon't use port-forwarding for the runtime VM
Steve McIntyre [Thu, 7 May 2020 16:54:31 +0000 (17:54 +0100)]
Don't use port-forwarding for the runtime VM

It doesn't work. Turn off that portforward. We'll use the toolchain VM
to proxy the SSH connection instead

2 years agoChange download URL to something public for initial test
Steve McIntyre [Tue, 5 May 2020 14:19:24 +0000 (15:19 +0100)]
Change download URL to something public for initial test

Not the final location, but I can share this!

2 years agoWIP: script to start the runtime VM
Steve McIntyre [Tue, 5 May 2020 14:09:59 +0000 (15:09 +0100)]
WIP: script to start the runtime VM

Should work natively on an arm64 host, or emulated on amd64

2 years agoTrivial script to generate a MANIFEST file for the runtime VM data
Steve McIntyre [Tue, 5 May 2020 14:09:35 +0000 (15:09 +0100)]
Trivial script to generate a MANIFEST file for the runtime VM data

2 years agoSimple Vagrantfile and a bootstrap script
Steve McIntyre [Tue, 5 May 2020 13:41:41 +0000 (14:41 +0100)]
Simple Vagrantfile and a bootstrap script

shell script to provision things for the toolchain VM, including
downloading and (when we're ready!) starting up the nested runtime VM

2 years agoAdd notes so far
Steve McIntyre [Tue, 5 May 2020 13:41:24 +0000 (14:41 +0100)]
Add notes so far

2 years agoAdd initial trivial .gitignore file
Steve McIntyre [Tue, 5 May 2020 13:40:38 +0000 (14:40 +0100)]
Add initial trivial .gitignore file