Page MenuHomeFreeBSD
Differential D20298

Allow building veriexec utility without bearssl support
AbandonedPublic
Actions

Authored by stevek on May 17 2019, 7:51 PM.
Tags
None
Referenced Files
Unknown Object (File)
Tue, Oct 14, 12:15 PM
Unknown Object (File)
Fri, Oct 10, 1:29 AM
Unknown Object (File)
Sep 22 2025, 12:55 AM
Unknown Object (File)
Sep 11 2025, 6:57 AM
Unknown Object (File)
Sep 8 2025, 11:08 PM
Unknown Object (File)
Sep 8 2025, 9:47 PM
Unknown Object (File)
Aug 5 2025, 7:14 PM
Unknown Object (File)
Jul 22 2025, 9:34 AM
View All 38 Files
Subscribers
imp

Details

Reviewers
sjg
Summary

Only build with bearssl if $MK_BEARSSL is not "no". This allows for systems
without bearssl to still use veriexec, although the manifests will not be
checked for signatures.

Diff Detail

Repository
rS FreeBSD src repository - subversion
Lint
Lint Passed
Unit
No Test Coverage
Build Status
Buildable 24291
Build 23117: arc lint + arc unit

Event Timeline

stevek created this revision.May 17 2019, 7:51 PM
Herald added a subscriber: imp. · View Herald TranscriptMay 17 2019, 7:51 PM
Harbormaster completed remote builds in B24291: Diff 57501.May 17 2019, 7:51 PM
stevek abandoned this revision.May 19 2019, 2:27 PM

After discussion with sjg, we do not want to support veriexec without signing

Revision Contents
Changeset List

PathSize
sbin/
veriexec/
10 lines
12 lines
2 lines
11 lines

Diff 57501

View Options

sbin/veriexec/Makefile

Loading...
View Options

sbin/veriexec/manifest_lexer.l

Loading...
View Options

sbin/veriexec/veriexec.h

Loading...
View Options

sbin/veriexec/veriexec.c

Loading...