search

au-ts / sddf

A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.
Other
16 stars 12 forks source link

Build snippets #74

Closed wom-bat closed 5 months ago

wom-bat commented 5 months ago

Add build snippets for the serial path

Ivan-Velickovic commented 5 months ago

Only comment is to use lowercase for the ELF names.

Ivan-Velickovic commented 5 months ago

Would you mind also adding a snippet for the i.MX UART?

wom-bat commented 5 months ago

OK, I think that fixed all your comments, plus I made the virtualisers rebuild if NUM_SERIAL_CLIENTS or BOARD change. It builds for me for the Odroid and virtualisers anyway. Can fix as we use it more for the rest.

Ivan-Velickovic commented 5 months ago

OK, I think that fixed all your comments, plus I made the virtualisers rebuild if NUM_SERIAL_CLIENTS or BOARD change. It builds for me for the Odroid and virtualisers anyway. Can fix as we use it more for the rest.

Cool