any recommendation for a good embedded OS? ideally, RTEMS but without dirty code, without autocrap, without disturbing bugs (like the infamous queue problem), and with a reasonably up to date TCP/IP stack