search

seL4 / util_libs

Other
55 stars 83 forks source link

Signed-off-by: Author Name <authoremail@example.com> #123

Closed SaarloosJohn closed 2 years ago

SaarloosJohn commented 2 years ago

fix MU_IIR and MU_IER offset addr and enable read interrupt and get char have a -1 return

Signed-off-by: Zhang Ziyang saarloos@msn.cn