seed7 unikernel hello world You can compile: bin/s7c hi.sd7 ops run hi Or you can use the interpreter: ops pkg load eyberg/seed7:3.5.0 -c config.json