- Queries
- All Changesets
- Search
- Advanced Search
All Changesets
All Changesets
| Change | Path | |
|---|---|---|
| Modified | sys/conf/files | |
| Modified | sys/modules/Makefile | |
| Added | sys/modules/veriexec/ | |
| Added | sys/modules/veriexec/Makefile | |
| Added | sys/dev/veriexec/ | |
| Added | sys/dev/veriexec/veriexec_ioctl.h | |
| Added | sys/dev/veriexec/verified_exec.c |