Add missing kernel.h include (hopefully the last one, really), take #4.

Change-Id: I167e988868b53203ea926540699d587e115635e8
This commit is contained in:
Thomas Martitz 2014-01-07 22:41:26 +01:00
parent 0e6d86e4fe
commit 444d2e508a

View file

@ -25,6 +25,7 @@
#include <string.h>
#include <inttypes.h>
#include "system.h"
#include "kernel.h"
#include "thread-sdl.h"
#include "system-sdl.h"
#include "sim-ui-defines.h"