The question I had is in regards to CheriBSD, & the software that comes built-in to it. Specifically, in both morello-hybird & morello-purecap, there is openssl already available. I was aware that it comes with the cheriBSD build using the python cheribuild script, but I'm not sure if it takes advantage of cheri capabilities or if it's part of the original FreeBSD implementation that CheriBSD & isn't a cheri-specific implementation. Any thoughts or insights about this that might be useful.