Minor cleanup in CI and examples

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

Minor cleanup in CI and examples #91

Closed Ivan-Velickovic closed 4 months ago

Ivan-Velickovic commented 4 months ago

Nothing particularly interesting, just making examples a bit more consistent with each other. Addressing @wom-bat's feedback in https://github.com/au-ts/sddf/pull/82.