Link to database of kernel configurations for safety

Elana C


Given the amount of private requests, I am sharing the link to the database of kernel configurations for safety with the entire group

The work was done in conjunction with Shuah, who provided the alignment with security CWEs; I compiled the details and integration guidelines for the various features (configurations, in kernel speak).

The database currently focuses on memory management, with some work on concurrency.

It is being used by many people who have contacted me over the past few years.  Please keep in mind the scope, the database only defines features which can potentially support a safety claim; it is up to the user/integrator to evaluate the benefit in any particular use case.  That is where these settings feed into the Safety Architecture WG, and with this goal in mind.