Another fun fact I discovered today. The Grove AI HAT and Pi (or compatible) use the same TX and RX UART pins on the GPIO header. This means the boards cannot communicate with each other via GPIO UART. In its own way it makes sense, but it also rules out the easiest method of communication without extra wiring. IIC probably wouldn’t be too bad for low bandwidth comms and SPI for higher bandwidth.
Some items in the standalone SDK seem to ignore the toolchain location passed to the build. The quickest way to get around it is to create a symlink from the original toolchain to the other directory it was looking for.
Loboris’ micropython can’t seem to build using an aarch64 host. From what I can understand it’s a known gcc code emitting bug.