The State of the RTOS
An awesome discussion between RTOS experts on where are RTOS is today and where it's going into the future.
An opportunity to ask your questions about RTOS application design.
12:18:22 From Michael Kirkhart : There is still a place for commercial RTOSes or paid support for open source RTOSes, as there are users who will still require dedicated support. 12:19:25 From Michael Kirkhart : Redhat is an example of a company that is viable business entity using open source software. 12:23:24 From Erwin : Also when seeing more and more complex features used by RTOSes there is much more need for support from a customer perspective. You cannot easily learn everything that fast as you need to ship your product. 12:26:31 From Michael Kirkhart : Microsoft tried that years ago with Windows CE. 12:29:55 From Michael Kirkhart : Agree with the comment about security as a spectrum - one has to understand what their application threat model is. 12:31:00 From Michael Kirkhart : When it comes to security, has there been any discussion in the RTOS/embedded community about secure coding practices? 12:31:13 From Eduardo Pino : Do you think security concerns will drive the development of formally verified kernels and components such as the se4L OS? 12:31:52 From Michael Kirkhart : What does "formally verified" mean? 12:32:22 From Eduardo Pino : Formal verification of software refers to the application of mathematical proof techniques to establish properties about programs. 12:36:08 From Eduardo Pino : oops i misspelled seL4 12:40:06 From Himanshu Savargaonkar : Will python based languages like MicroPython and CircuitPython become complete RTOSs? Or will they remain a hobby programming language? 12:50:39 From Kate Stewart : https://bestpractices.coreinfrastructure.org/en 12:51:39 From Max Hughson : https://isocpp.github.io/CppCoreGuidelines/CppCoreGuidelines 12:52:10 From Kate Stewart : Contributions to https://github.com/coreinfrastructure/best-practices-badge welcome 12:55:49 From Cole Wyant : @Kate Stewart Don't want to derail the panel, but what would be the best/cost reasonable dev kit to start evaluating Zephyr? 12:55:49 From Erwin : You can get Python to use a JIT Compiler and then it's simmilar to Java which is running on your credit card! 12:59:33 From Kate Stewart : https://docs.zephyrproject.org/latest/develop/getting_started/index.html 13:02:43 From Gillian Minnehan : Wonderful panel. Thank you Jean, Kate, Jacob, and Bill! 13:02:50 From Alex : good 13:02:50 From Steve Wheeler : Good discussion. Thank you all. 13:02:56 From Eduardo Pino : great talk 13:02:57 From Raul Pando : Thank you 13:02:59 From Alex : nive weekend 13:02:59 From Jay Cosper : good discussion