Alloca is allocations on the stack, seems the kernel might be stack based, but the os itself has it's own implementation of malloc. Which is heap based.
https://github.com/google/pebble/blob/main/src/libos/include...
I'm also seeing references to rtos as the true underlying os though.