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

embeddedmcumicrocontrollernuttxreal-timertos

patacongo aca030153f Add support for custom system timer frequency ... git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@274 42af7a65-404d-4744-a932-0658087f49c3		2007-06-09 15:49:44 +00:00
arch	bash if should end with 'fi' not 'if'	2007-06-06 23:56:56 +00:00
configs	Add support for custom system timer frequency	2007-06-09 15:49:44 +00:00
Documentation	Add support for custom system timer frequency	2007-06-09 15:49:44 +00:00
drivers	Reflect changes due to fs structures	2007-05-09 00:08:54 +00:00
examples	Don't call fflush if streams are disabled	2007-06-07 00:29:46 +00:00
fs	allocation unit is cluster, not sector	2007-05-29 01:00:48 +00:00
include	Add support for custom system timer frequency	2007-06-09 15:49:44 +00:00
lib	Function incorrectly named	2007-06-07 00:20:35 +00:00
mm	Add 8052 IRQ test; Fix places where IDLE task could try to wait on semaphores	2007-03-14 18:58:21 +00:00
sched	Add support for custom system timer frequency	2007-06-09 15:49:44 +00:00
tools	file extension should be .gz not .bz2	2007-06-06 23:51:21 +00:00
ChangeLog	Add support for custom system timer frequency	2007-06-09 15:49:44 +00:00
Makefile	Changes to resulting previous merge of arch/c5471 and arch/dm320 into arch/arm and	2007-04-29 21:50:53 +00:00
ReleaseNotes	prepare for 0.2.6 release	2007-05-26 22:46:13 +00:00
TODO	Add support for custom system timer frequency	2007-06-09 15:49:44 +00:00