Hi, I have a document from Elad Efrat describing some steps how Verified Exec works and how to work with it. ;) I'm thinking about adding it to the NetBSD guide, but I guess we need a chapter called "NetBSD Security". Any opinions ? Where should be the exact location for it (i.e., between which chapters) ? -- Rui Paulo