[kevincox]

I didn't have any attack in particular, but an example could be sending a long buffer to the kernel that causes an integer overflow and overwrites some important memory. Especially with the non-verified external RAM it seems like you could throw some weird stuff at the kernel.

[95014_refugee]

You cannot "send a long buffer to the (l4) kernel".

You would know this if you had read the available documentation. 8)