From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.42.119.82 with SMTP id a18mr22927259icr.19.1410290221491; Tue, 09 Sep 2014 12:17:01 -0700 (PDT) X-Received: by 10.140.85.17 with SMTP id m17mr39381qgd.20.1410290221320; Tue, 09 Sep 2014 12:17:01 -0700 (PDT) Path: border1.nntp.dca1.giganews.com!nntp.giganews.com!uq10no11562510igb.0!news-out.google.com!q8ni3qal.1!nntp.google.com!w8no156003qac.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Tue, 9 Sep 2014 12:17:01 -0700 (PDT) In-Reply-To: <5b5583ca-c7b2-40be-9090-6253f0514db5@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=77.8.88.109; posting-account=Fmp50goAAAA9sbkA2aX-X9YQy6-lkg3J NNTP-Posting-Host: 77.8.88.109 References: <60a42dc6-d8d0-4432-ae5a-86de18b82840@googlegroups.com> <5kkrv9hejn2qhdckkeo8lidkbh3bkme1gn@4ax.com> <5b91313c-acf9-4a6e-b157-6ba7c8021567@googlegroups.com> <0513ad07-6fbe-463a-be6f-097cd5113f52@googlegroups.com> <4f1ec65a-d66a-40bf-a0d6-278fde206e70@googlegroups.com> <1cjwzr30b24xy.11kpydntxhfo5$.dlg@40tude.net> <929e9226-e4aa-474e-843c-68ed800eefad@googlegroups.com> <5b5583ca-c7b2-40be-9090-6253f0514db5@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <7feccd2d-dcfd-405e-ae5d-e27d6662daa9@googlegroups.com> Subject: Re: STM32F4 Discovery, communication and libraries From: Roy Emmerich Injection-Date: Tue, 09 Sep 2014 19:17:01 +0000 Content-Type: text/plain; charset=ISO-8859-1 Xref: number.nntp.dca.giganews.com comp.lang.ada:188930 Date: 2014-09-09T12:17:01-07:00 List-Id: On Sunday, 31 August 2014 06:54:29 UTC+2, gvds...@gmail.com wrote: > That looks a lot like MINIX 3. A microkernel where the user can very easy configure and run drivers. > > http://www.minix3.org/other/reliability.html Thanks to your post I started searching using the "microkernel" term. Up until then I had been limited (in my own mind) to RTOS. It opened my eyes to the many different RTOSs out there. The problem with minix is that the hardware requirements are too high for the Cortex M4 processor: http://wiki.minix3.org/UsersGuide/HardwareRequirements The other fear I've always had about an RTOS is power management and whether it would be efficient enough for me needs. As I am going to take www.nuttx.org for a spin I will certainly be delving into this document soon: Low power embedded software optimization for the NuttX RTOS http://bibliodigital.itcr.ac.cr/xmlui/bitstream/handle/2238/3051/FinalReport.pdf Another option in terms of energy efficiency is the F9 microkernel: https://github.com/f9micro/f9-kernel