seL4 / util_libs

Other
53 stars 83 forks source link

ultra96: add ultra96 serial support #137

Closed chrisguikema closed 1 year ago

chrisguikema commented 1 year ago

The ultra96 uses Serial1 instead of Serial0 by default. This commit sets the default serial for the ultra96 appropriately.

Signed-off-by: Chris Guikema chris.guikema@dornerworks.com