diff options
author | Keir Fraser <keir.fraser@citrix.com> | 2008-03-26 13:13:50 +0000 |
---|---|---|
committer | Keir Fraser <keir.fraser@citrix.com> | 2008-03-26 13:13:50 +0000 |
commit | aecea1aa6522c44d8111731c8b6f0e9a6e08f001 (patch) | |
tree | 9c8efebd9eb0586717662f5462e1814a6495c751 /extras/mini-os/minios.mk | |
parent | a363bc0ce024186ad26ec3c38074b7565b01611f (diff) | |
download | xen-aecea1aa6522c44d8111731c8b6f0e9a6e08f001.tar.gz xen-aecea1aa6522c44d8111731c8b6f0e9a6e08f001.tar.bz2 xen-aecea1aa6522c44d8111731c8b6f0e9a6e08f001.zip |
minios: more assertions
- assert that we never allocate or free the same grant twice
- assert that network packets do not exceed a page
- assert that incoming network event IDs make sense
Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
Diffstat (limited to 'extras/mini-os/minios.mk')
-rw-r--r-- | extras/mini-os/minios.mk | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/extras/mini-os/minios.mk b/extras/mini-os/minios.mk index 078c396fc2..d881e3da4e 100644 --- a/extras/mini-os/minios.mk +++ b/extras/mini-os/minios.mk @@ -16,6 +16,10 @@ DEF_LDFLAGS = ifeq ($(debug),y) DEF_CFLAGS += -g +#DEF_CFLAGS += MM_DEBUG +#DEF_CFLAGS += FS_DEBUG +#DEF_CFLAGS += LIBC_DEBUG +#DEF_CFLAGS += GNT_DEBUG else DEF_CFLAGS += -O3 endif |