Arduino101的动态内存为什么不是官方指标说的24k

[opentony]

我在官网查到的Arduino 101的SRAM 是24k，
但是我用new 或者 malloc 申请
new char[6000]  或  malloc(6000) 能成功
但是 new char[7000]  或  malloc(7000) 就失败了。
为什么不是24k呢。
如果我一定要10000个char的数组， 如何办呢?