From: gvdschoot@gmail.com
Subject: Re: STM32F4 Discovery, communication and libraries
Date: Sat, 30 Aug 2014 21:54:29 -0700 (PDT)
Date: 2014-08-30T21:54:29-07:00 [thread overview]
Message-ID: <5b5583ca-c7b2-40be-9090-6253f0514db5@googlegroups.com> (raw)
In-Reply-To: <929e9226-e4aa-474e-843c-68ed800eefad@googlegroups.com>
On Friday, August 29, 2014 6:47:52 PM UTC+2, Roy Emmerich wrote:
>
> My requirements for dynamic behaviour don't extend so far as to be plug and play ready. What I do want, being a modular hardware platform, is to define, in a configuration file, which hardware modules are plugged into which socket. At start up the supervisor will read this file and instantiate the relevant software modules.
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
Another benefit is that with a microkernel communication between drivers and the kernel is standardized. It is relatively easy to create new drivers. I don't know if you can use Ada.
NetBSD rump also looks like that.
https://www.usenix.org/legacy/event/usenix09/tech/full_papers/kantee/kantee_html/
next prev parent reply other threads:[~2014-08-31 4:54 UTC|newest]
Thread overview: 93+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-08-26 22:38 STM32F4 Discovery, communication and libraries roy.emmerich
2014-08-27 2:40 ` Luke A. Guest
2014-08-27 12:35 ` Roy Emmerich
2014-08-27 7:41 ` Dmitry A. Kazakov
2014-08-27 13:35 ` Roy Emmerich
2014-08-27 16:00 ` Dmitry A. Kazakov
2014-08-27 13:08 ` Dennis Lee Bieber
2014-08-27 15:44 ` Roy Emmerich
2014-08-28 1:37 ` Dennis Lee Bieber
2014-08-27 16:03 ` Roy Emmerich
2014-08-28 1:48 ` Dennis Lee Bieber
2014-08-28 10:12 ` Roy Emmerich
2014-08-28 13:00 ` Dmitry A. Kazakov
2014-08-28 16:28 ` Mike Silva
2014-08-28 17:03 ` Roy Emmerich
2014-08-28 20:09 ` Dmitry A. Kazakov
2014-08-28 20:34 ` embeddedrelatedmike
2014-08-29 7:34 ` Dmitry A. Kazakov
2014-08-29 15:59 ` Niklas Holsti
2014-08-29 16:59 ` [OT] Ravenscar (the place, not profile), was: " Simon Clubley
2014-08-29 17:18 ` Niklas Holsti
2014-08-29 17:31 ` Simon Clubley
2014-08-30 14:55 ` Dennis Lee Bieber
2014-08-29 17:59 ` Jeffrey Carter
2014-08-29 23:30 ` Randy Brukardt
2014-08-30 11:25 ` Simon Clubley
2014-08-31 11:09 ` Phil Thornley
2014-08-30 12:36 ` Peter Chapin
2014-08-31 18:37 ` Dirk Craeynest
2014-08-31 19:38 ` Simon Clubley
2014-08-29 17:24 ` Mike Silva
2014-08-29 23:35 ` Randy Brukardt
2014-08-29 13:06 ` Dennis Lee Bieber
2014-08-29 16:52 ` Niklas Holsti
2014-08-31 0:49 ` Shark8
2014-08-28 21:17 ` Niklas Holsti
2014-08-29 0:07 ` Roy Emmerich
2014-08-29 17:58 ` Niklas Holsti
2014-08-29 7:41 ` Dmitry A. Kazakov
2014-08-29 16:31 ` Niklas Holsti
2014-08-29 16:47 ` Roy Emmerich
2014-08-29 19:41 ` Niklas Holsti
2014-08-30 22:00 ` Roy Emmerich
2014-08-31 10:08 ` Simon Wright
2014-09-01 20:15 ` Niklas Holsti
2014-09-01 21:11 ` Jeffrey Carter
2014-08-31 4:54 ` gvdschoot [this message]
2014-09-09 19:17 ` Roy Emmerich
2014-09-09 20:20 ` Mike Silva
[not found] ` <a54dcc42-d4e2-4d53-b381-2bb7a0eef1ee@googlegroups.com>
2014-09-10 1:41 ` Dennis Lee Bieber
2014-09-10 8:52 ` Roy Emmerich
2014-09-10 13:05 ` Dennis Lee Bieber
2014-09-10 17:16 ` Simon Wright
[not found] ` <a2e59fce-751c-46a0-90f3-80430c627732@googlegroups.com>
2014-09-10 7:22 ` Dmitry A. Kazakov
2014-09-10 9:35 ` Roy Emmerich
2014-09-10 14:11 ` Stephen Leake
2014-09-10 17:46 ` Jeffrey Carter
2014-09-10 18:37 ` Dmitry A. Kazakov
2014-09-11 9:53 ` Stephen Leake
2014-09-11 17:19 ` Jeffrey Carter
2014-09-10 20:58 ` Brian Drummond
2014-09-10 23:40 ` Dennis Lee Bieber
2014-08-29 16:58 ` Niklas Holsti
2014-08-31 7:02 ` Dmitry A. Kazakov
2014-08-31 15:44 ` Brad Moore
2014-08-31 16:15 ` Dmitry A. Kazakov
2014-09-01 16:15 ` Brad Moore
2014-09-01 16:42 ` Dmitry A. Kazakov
2014-08-31 18:41 ` Niklas Holsti
2014-09-01 16:42 ` Dmitry A. Kazakov
2014-09-01 17:21 ` G.B.
2014-09-02 8:21 ` Dmitry A. Kazakov
2014-09-02 13:04 ` G.B.
2014-09-02 14:18 ` Dmitry A. Kazakov
2014-09-02 16:44 ` Jeffrey Carter
2014-09-02 19:02 ` Niklas Holsti
2014-09-02 23:19 ` Randy Brukardt
2014-09-03 1:40 ` gdotone
2014-09-04 9:26 ` Roy Emmerich
2014-09-04 17:58 ` Niklas Holsti
2014-09-05 11:47 ` Simon Clubley
2014-09-09 19:04 ` Roy Emmerich
2014-09-01 18:39 ` Niklas Holsti
2014-09-02 8:19 ` Dmitry A. Kazakov
2014-08-28 13:10 ` Dennis Lee Bieber
2014-08-29 2:52 ` Dennis Lee Bieber
2014-09-20 20:50 ` David Thompson
2014-08-27 16:17 ` Mike Silva
2014-08-27 16:36 ` Roy Emmerich
2014-08-27 16:58 ` Simon Clubley
2014-08-29 19:36 ` johnscpg
2014-08-30 15:06 ` Stephen Leake
2014-09-02 21:40 ` rrr.eee.27
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox