Undocumented: UART Direct Access Event Handler = IRQ?

Does this mean that UART Direct Access Event Handlers are actually Low-Level IRQ handlers and, therefore, that all the usual Low-Level IRQ restrictions apply?

Again, I can’t see this documened anywhere…

Yes, that does appear to be the case - adl_ctxGetID() returns ADL_CTX_LOW_LEVEL_IRQ_HANDLER

This really needs to be documented - as there are specific issues that need to be considered when writing low-level IRQ handlers!