Solo5 security features

[Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx>]

Hey there,

Do we have an up-to-date table of the defense-in-depth security features 
enforced by solo5 on the different targets?

So far I found:
- W^X: https://github.com/Solo5/solo5/issues/303 -> not sure exactly where this 
is enforced nowadays. The tests in 
https://github.com/Solo5/solo5/pull/363/files seems to say that this only works 
on spt?
- heap canaries: https://github.com/mirage/ocaml-solo5/issues/48 -> all targets?
- Unmap zero page: https://github.com/Solo5/solo5/issues/296 -> seems to be 
enforced on all targets?
- Stack protector: https://github.com/Solo5/solo5/issues/293 and 
https://github.com/Solo5/solo5/pull/294 -> seems to be enforced for all targets?
- ASLR: https://github.com/Solo5/solo5/pull/310 -> only spt ? As we have 
https://github.com/Solo5/solo5/issues/304 for the  hvt TODO's 

Anything else worth mentioning?

Best,
Thomas