diff options
| author | kfraser@localhost.localdomain <kfraser@localhost.localdomain> | 2007-08-31 11:31:18 +0100 |
|---|---|---|
| committer | kfraser@localhost.localdomain <kfraser@localhost.localdomain> | 2007-08-31 11:31:18 +0100 |
| commit | b1ed04146414f7bbef7e76289b6d4b0bf79a3203 (patch) | |
| tree | 795743e153c0eed7737e152ca85d9a36f92e813d /Config.mk | |
| parent | d046f361dc937d8fc179cc2da168f571726cb5a0 (diff) | |
| download | xen-b1ed04146414f7bbef7e76289b6d4b0bf79a3203.tar.gz xen-b1ed04146414f7bbef7e76289b6d4b0bf79a3203.tar.bz2 xen-b1ed04146414f7bbef7e76289b6d4b0bf79a3203.zip | |
Xen Security Modules: FLASK
Signed-off-by: George Coker <gscoker@alpha.ncsc.mil>
Diffstat (limited to 'Config.mk')
| -rw-r--r-- | Config.mk | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -81,6 +81,14 @@ CFLAGS += $(foreach i, $(EXTRA_INCLUDES), -I$(i)) # Enable XSM security module. Enabling XSM requires selection of an # XSM security module. XSM_ENABLE ?= n +ifeq ($(XSM_ENABLE),y) +FLASK_ENABLE ?= n +ifeq ($(FLASK_ENABLE),y) +FLASK_DEVELOP ?= y +FLASK_BOOTPARAM ?= y +FLASK_AVC_STATS ?= y +endif +endif # If ACM_SECURITY = y, then the access control module is compiled # into Xen and the policy type can be set by the boot policy file |