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

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