Resolved! How do I create a VIRT_UART_HandleTypeDef?
I'm following the tutorial here but when I define `VIRT_UART_HandleTypeDef huart0;` I get error: unknown type name. It seems like the only include I should need is openamp.h, but that doesn't seem to do the trick.