1# KW configuration file
2
3__panic - NORET
4
5# malloc succeeds for zone = RZONE_SYS (1) or RZONE_SYS|UNCACHED (17)
6_malloc - RET $1 EQ(1) : NE(0)
7_malloc - RET $1 EQ(17) : NE(0)
8
9# core id is used to index arrays, so tell KW the max value
10arch_cpu_get_id - RET 1 : [0,3]
11
