1 /* ------------------------------------------------------------------------ */
2 /* HOS-V4a kernel configuration */
4 /* ------------------------------------------------------------------------ */
8 #include "arch/proc/arm/arm_v7m/procatr.h"
9 #include "arch/proc/arm/arm_v7m/proc.h"
10 #include "arch/irc/none/ircatr.h"
11 #include "arch/irc/none/irc.h"
12 #include "config/cfgknl.h"
13 #include "parser/parsknl.h"
14 #include "core/objid.h"
15 #include "core/objhdl.h"
16 #include "object/tskobj.h"
17 #include "object/semobj.h"
18 #include "object/flgobj.h"
19 #include "object/dtqobj.h"
20 #include "object/mbxobj.h"
21 #include "object/mtxobj.h"
22 #include "object/mpfobj.h"
23 #include "object/inhobj.h"
24 #include "object/isrobj.h"
25 #include "object/cycobj.h"
26 #include "kernel_id.h"
33 /* ------------------------------------------ */
34 /* define interrupt handler */
35 /* ------------------------------------------ */
37 extern VP _kernel_int_stkblk[((512) + sizeof(VP) - 1) / sizeof(VP)];
40 _KERNEL_T_INHINF _kernel_inh_tbl[256] =
42 {(FP)(&_kernel_int_stkblk[((512) + sizeof(VP) - 1) / sizeof(VP)])}, /* stack pointer */
43 {(FP)(_kernel_reset_handler)}, /* reset handler */
44 {(FP)(_kernel_nmi_handler)}, /* non maskable intterupt handler */
45 {(FP)(_kernel_hw_fault_handler)}, /* hard fault handler */
56 {(FP)(_kernel_pendsv_handler)}, /* hard fault handler */
302 /* ------------------------------------------------------------------------ */
304 /* ------------------------------------------------------------------------ */