David Grayson

Those linker messages look like they are from the macOS linker. What kind of system are you running the `nix-build -A rpi.hello` command on?

Yeah, I have not tried to use nixcrpkgs on macOS, so there are probably some errors. That's why I mention twice in the README file that you need Linux. Since...

I have not tried running Nix itself on a 64-bit ARM machine. Nixcrpkgs has no support for 64-bit ARM currently, but it should be possible to add it if we...

Just to be clear: it's definitely worthwhile for you to try running the Tic software that we compiled for the Raspberry Pi, since there is a chance it might just...

Thanks. However, I do not want to merge this in until we have a solution for Windows. There is a bug in SDCC that prevents sdar from working well on...

That seems fine to me.

This pull request has a lot of information, so it will be hard to verify all of it hard to keep it updated as the third-party libraries you refer to...

Thanks. I started looking into this and was able to get past that error with `sudo apt install libgles-dev`. But then I get an error about `EGL_DISPMANX_WINDOW_T` not being defined....

I was unable to get an answer about this on Stack Exchange: https://raspberrypi.stackexchange.com/questions/140340/opengl-on-a-64-bit-raspberry-pi-4-without-x Maybe we just have to give up on the idea of displaying 3D graphics without X. Maybe...

**Workaround: Specify the `-sdk:4.0` option on the `mcs` commandline.** This tells the C# compiler to use the DLLs found in `/usr/lib/mono/4.0`. On Ubuntu 22.04, those DLLs are provided by the...