Hello EFI from Terra

Proof of concept running Terra code on the (U)EFI environment

You will need the Terra release for Linux (x86-64) https://github.com/terralang/terra/releases/tag/release-1.0.0-beta3 and the GNU-EFI package, on Debian/Ubuntu:

$ sudo apt-get install gnu-efi

There's a Dockerfile that should set things up to build it:

$ docker build . -t terra
$ docker run -v `realpath ./`:/hello -it terra

Then inside the container:

$ make
$ ./install_and_run.sh

You can have a look at install_and_run.sh for how to run this on QEmu. I suggest you copy OVMF.fd to /hello inside the container instead of installing the package containing the image on you local system.

You will also need to install QEmu and the ovmf package. Please open an Issue if I missed something.