Hi,

I am trying write UART driver in SEL4 user-space driver for TX1 board.

Shall i  get any reference(docs or ref.code) to write these driver..

Thanks & Regards

Ashok