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 /xen/Rules.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 'xen/Rules.mk')
| -rw-r--r-- | xen/Rules.mk | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/xen/Rules.mk b/xen/Rules.mk index dd78419dea..facb1bd2db 100644 --- a/xen/Rules.mk +++ b/xen/Rules.mk @@ -58,6 +58,10 @@ ALL_OBJS-y += $(BASEDIR)/arch/$(TARGET_ARCH)/built_in.o CFLAGS-y += -g -D__XEN__ CFLAGS-$(XSM_ENABLE) += -DXSM_ENABLE +CFLAGS-$(FLASK_ENABLE) += -DFLASK_ENABLE -DXSM_MAGIC=0xf97cff8c +CFLAGS-$(FLASK_DEVELOP) += -DFLASK_DEVELOP +CFLAGS-$(FLASK_BOOTPARAM) += -DFLASK_BOOTPARAM +CFLAGS-$(FLASK_AVC_STATS) += -DFLASK_AVC_STATS CFLAGS-$(ACM_SECURITY) += -DACM_SECURITY CFLAGS-$(verbose) += -DVERBOSE CFLAGS-$(crash_debug) += -DCRASH_DEBUG |