I’m trying to use a queue to buffer characters from my uart ISR to a background task. I want the queue to be 512 bytes long. This is unfortunately impossible, because the type of the size argument is `unsigned portBASE_TYPE` which for the xmega256a3 is a single byte (`char`). Is there a reason the maximum size of a queue floats with `portBASE_TYPE`? Rather than uint16_t?
I’m curious if others have hit the same limitation, and what, if anything, they’ve done about it.