Apache NuttX is a mature, real-time embedded operating system (RTOS) https://nuttx.apache.org/

embeddedmcumicrocontrollernuttxreal-timertos

patacongo 222fc7d2a6 Remove the .dbg_data section. For better or worse, this is being handled in a different way ... git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@4084 42af7a65-404d-4744-a932-0658087f49c3		2011-11-10 01:11:59 +00:00
configs	Remove the .dbg_data section. For better or worse, this is being handled in a different way	2011-11-10 01:11:59 +00:00