search

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
23 stars 18 forks source link

Don't infinite loop in unexpected state #247

Closed Ivan-Velickovic closed 2 months ago

Ivan-Velickovic commented 2 months ago

Change assert to do an illegal instruction instead of infinite looping and get everything to call assert instead infinite looping.

Ivan-Velickovic commented 2 months ago

Third review is the charm.