> After all, there exists MINIX and open-source 11Kb kernels
> for microcontrollers with TCP/IP stack and all...

11K with tcp/ip - I've not seen that. 11K core oh and its 30K for TCP minimum
but we didnt tell you until you asked I have seen ;)

Reply via email to