1Build the BearSSL library.
2.Pp
3BearSSL is a tiny SSL library suitable for embedded environments.
4For details see
5.Lk https://www.BearSSL.org/
6.Pp
7This library is currently only used to perform
8signature verification and related operations
9for Verified Exec and
10.Xr loader 8 .
11