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

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