Following the Arch WG meeting of 24th May. We decided to start organising the design information in a format that is able to support an STPA Safety Analysis. Therefore the explicit ask here is:
- As first step the Kernel is a big functional block
- It shall be allocated with functionalities as described in the current high level safety goals
- for each of the safety goal the external interfaces shall be identified (syscalls / IRQ Handlers / start_kernel() )
- the role of each interface WRT the allocated functionality shall be explained