From d55680993df9b6743506814d98b5cc1859828f8a Mon Sep 17 00:00:00 2001 From: Marcin Bukat Date: Thu, 27 Apr 2017 11:36:40 +0200 Subject: Agptek Rocker: Initial commit Change-Id: I26b51106c7b1c36a603fba6d521e917d79b5a95b --- firmware/kernel/thread.c | 3 +++ 1 file changed, 3 insertions(+) (limited to 'firmware/kernel') diff --git a/firmware/kernel/thread.c b/firmware/kernel/thread.c index 29ab9db873..307be7116a 100644 --- a/firmware/kernel/thread.c +++ b/firmware/kernel/thread.c @@ -37,6 +37,9 @@ #endif #include "core_alloc.h" +#if (CONFIG_PLATFORM & PLATFORM_HOSTED) +#include +#endif /* Define THREAD_EXTRA_CHECKS as 1 to enable additional state checks */ #ifdef DEBUG #define THREAD_EXTRA_CHECKS 1 /* Always 1 for DEBUG */ -- cgit v1.2.3