Not sure, but this should make the kernel implementation simple. Any low memory (RAM and Flash) microcontroller can take advantage of this.