@jenschr, I had a discussion with some of the Particle folks the other day and we did some testing. With the latest firmware version which gets compiled with gcc v5.3.1, there is an overhead of approx. 3KB on any user app. So with 128KB of user flash, that leaves about 125KB or 128,000 bytes. As for RAM, there should be at least 60KB available to the user.