Re: 10KB for the OS?
>"A tailored Linux kernel would be much better"
How so? And how are the Real Time variants of Linux doing these days?
>"has much better support, been developed and gone through testing for 20+ years," applies to some RTOSs more than it does to Linux. For IoT applications, the tried and tested OSs from the fields of Industrial Control and Avionics are a better place to look.