3ab4ce4739
driver, gpiolock(4), is provided as an example how to interface real hardware. A new securemodel, securemodel_keylock, is provided to show how this can be used to tie keylocks to overall system security. This is experimental code. The diff has been on tech-kern for several weeks. Reviewed by many, kauth(9) integration reviewed by Elad Efrat; approved by tonnerre@ and tron@. Thanks to everyone who provided feedback.
22 lines
410 B
Plaintext
22 lines
410 B
Plaintext
# $NetBSD: files.secmodel,v 1.3 2009/08/14 21:17:22 mbalmer Exp $
|
|
|
|
#
|
|
# Traditional 4.4BSD - Securelevel
|
|
#
|
|
include "secmodel/securelevel/files.securelevel"
|
|
|
|
#
|
|
# Traditional NetBSD (derived from 4.4BSD)
|
|
#
|
|
include "secmodel/bsd44/files.bsd44"
|
|
|
|
#
|
|
# Sample overlay model on-top of the traditional one
|
|
#
|
|
include "secmodel/overlay/files.overlay"
|
|
|
|
#
|
|
# Multi-position keylock
|
|
#
|
|
include "secmodel/keylock/files.keylock"
|