Include missing `<stdlib.h>`

The header `<stdlib.h>` provides definitions for
`malloc()`, `calloc()` and `free()`.

Signed-off-by: Simon Kuenzer <simon.kuenzer@neclab.eu>
Reviewed-by: Razvan Deaconescu <razvan.deaconescu@cs.pub.ro>

diff --git a/pte_osal.c b/pte_osal.c
index cfd5b3b925590bfde7a7b113bdff779d6dbe367f..640c3e4c2892c1ebf18f42bb2d5bb108433b3d9c 100644 (file)
--- a/pte_osal.c
+++ b/pte_osal.c
@@ -24,6 +24,7 @@
  */
 
 #include <string.h>
+#include <stdlib.h>
 #include <uk/essentials.h>
 #include <uk/init.h>
 #include <uk/arch/time.h>