| Age | Commit message (Expand) | Author |
|---|---|---|
| 2024-07-15 | Remove residual blank line at start of Makefile | Warner Losh |
| 2023-10-15 | veriexec: Correctly export symbols | Zhenlei Huang |
| 2023-08-16 | sys: Remove $FreeBSD$: one-line sh pattern | Warner Losh |
| 2018-06-20 | MAC/veriexec implements a verified execution environment using the MAC | Stephen J. Kiernan |
