Remove direct UART access in networking sub-system

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

Remove direct UART access in networking sub-system #97

Closed Ivan-Velickovic closed 2 months ago

Ivan-Velickovic commented 4 months ago

For simplicity networking clients and the ARP component use a small UART driver in order to print out the IP address in release mode. Instead, where necessary to have prints in release mode, the serial sub-system should be used and this hack should be removed.

Ivan-Velickovic commented 2 months ago

Done in https://github.com/au-ts/sddf/pull/99.