As also discussed in the last OSEP WG tomorrow we shall start to 'translate' the architectural information that are collected in [1] into a "Control Structure" as defined in the STPA Handbook ([2]). This is the first step of the STPA analysis of the Kernel WRT to the high level Safety Requirement KSR_0002 defined in  [3]

[1] https://github.com/elisa-tech/wg-lfscs/blob/main/address_space_integrity/address_space_integrity.md

[2] https://psas.scripts.mit.edu/home/get_file.php?name=STPA_handbook.pdf

[3] https://docs.google.com/spreadsheets/d/1EbuVvhXo-xZc2aPTfMgQtPNPDQYtcozs/edit#gid=584539121

Thanks

Gab