diff options
author | red031000 <rubenru09@aol.com> | 2020-06-14 21:47:39 +0100 |
---|---|---|
committer | red031000 <rubenru09@aol.com> | 2020-06-14 21:48:42 +0100 |
commit | c734347a8fed09aff1aacaad89eb7db831a00a3c (patch) | |
tree | bf1df18b2414e6c94b5d1f46f2b5765923e94897 /arm7/lib/include/OS_init.h | |
parent | 30c442497e7e2d8eb5cb6b318b0888dcb64f5977 (diff) |
arm7 OS_interrupt
Diffstat (limited to 'arm7/lib/include/OS_init.h')
-rw-r--r-- | arm7/lib/include/OS_init.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/arm7/lib/include/OS_init.h b/arm7/lib/include/OS_init.h index c4e1ca37..03d64ae1 100644 --- a/arm7/lib/include/OS_init.h +++ b/arm7/lib/include/OS_init.h @@ -7,6 +7,9 @@ #include "OS_alloc.h" #include "OS_reset.h" #include "OS_terminate_proc.h" +#include "OS_spinLock.h" +#include "OS_context.h" +#include "OS_interrupt.h" void OS_Init(void); |