If you really really care about security, then consider CHERI and CheriBSD
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/