From cf0a25968faa3f5add00529e0878b21d511d31b0 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Tue, 23 May 2017 19:39:27 +0200
Subject: [PATCH] check memory allocation without padding

---
 include/hermit/malloc.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include/hermit/malloc.h b/include/hermit/malloc.h
index 8537078f0..bcdc948be 100644
--- a/include/hermit/malloc.h
+++ b/include/hermit/malloc.h
@@ -72,7 +72,7 @@ typedef union buddy {
 		/// Must be equal to BUDDY_MAGIC for a valid memory block
 		uint16_t magic;
 		/// padding to gurantee a sizeof 32Byte
-		uint8_t padding[28];
+		//uint8_t padding[28];
 	} prefix;
 } buddy_t;