1) Deeper ARINC653 discussion after presentation (Unikraft, health monitoring, tracing, hypercall granularity) topic.
Ref: Unikraft features
2) How DO-178C low-level reqt/tests fit. Key reasons for having unit test framework - (it helps to identify the source of truth for every SLoC and enable a way to check when the requirements are violated).
Ref: diagram docs/mixed-criticality/ceedling-unit-test-approach.drawio.svg
Ref: Unit testing
Ref: Low-level reqts