CTSRD-CHERI / chericat

Other
2 stars 0 forks source link

Create a new table to hold compartment data #46

Open psjm3 opened 2 weeks ago

psjm3 commented 2 weeks ago

Currently Chericat adds compartment data obtained from RTLD into the VM table, which is convenient for the VM console output (chericat -v) because we only need to access one table. However, the compartment data is useful for a table of its own, so that we can do direct queries to form the visualisation. Plus as time goes on it makes sense to have all compartmentalisation related data in the same table instead of having to fit into the VM table structure.