A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.
17
stars
14
forks
source link
Add Synopsis DesignWare ABP UART driver #184
Closed
Ivan-Velickovic closed 2 days ago
Developed based on the 'DesignWare DW_apb_uart Databook', retrieved from https://linux-sunxi.org/File:Dw_apb_uart_db.pdf. Version 3.04a, January 20, 2006.
Also adds support for the Pine64 Star64 to the serial example.