[HN Gopher] M2OS: A Small and Lightweight Ada RTOS for Microcont...
___________________________________________________________________
M2OS: A Small and Lightweight Ada RTOS for Microcontrollers
Author : pjmlp
Score : 52 points
Date : 2020-07-30 19:53 UTC (3 hours ago)
(HTM) web link (m2os.unican.es)
(TXT) w3m dump (m2os.unican.es)
| Koshkin wrote:
| _There 's a mini-RTOS in my language!_
|
| https://blog.adacore.com/theres-a-mini-rtos-in-my-language
|
| Fascinating.
| numlock86 wrote:
| This:
|
| > allows to apply the advanced techniques used in high integrity
| systems (i.e. aircraft flight control, medical devices, critical
| industrial control) to the smallest MCUs used by industry and
| hobbyists
|
| But also this:
|
| > M2OS implements one-shot non-preemptive scheduling policy
|
| Uhm, what? Those two paragraphs cancel out each other pretty
| much.
|
| > The STM32F4 board is based on the ARM Cortex-M4
| microcontroller. The amount of memory available in this board
| does not justify the use of a small RTOS as M2OS, however we have
| decided to port M2OS to this board to explore its implementation
| on ARM microcontrollers.
|
| STM32F4 is a controller family, not a board. Is this some GPT-3
| output?
|
| The list goes on ...
|
| Seriously, what am I even looking at? Is this just some SEO
| optimized site with a bunch of buzzwords and some seemingly valid
| content?
| parsecs wrote:
| If you look at ST's product chart page, STM32F4XX
| microcontrollers can have anywhere from 512K to 2056K of flash,
| maybe they're suggesting that 512K doesn't justify the use of
| small rtos?
| Aengeuad wrote:
| It can be as low as 64K in the case of the STM32F410 but I
| can't tell whether it would be supported.
| numlock86 wrote:
| While I am aware of the technical specs, my point is about
| the wording itself. This was just an example. The "Docs"
| section for example doesn't actually hold any documentation.
|
| Something about this website feels uncanny, hence my (joking)
| guess regarding GPT-3.
| ajxs wrote:
| What particular concern do you have with the scheduling policy?
| As I understand it, it's an RTOS for embedded devices. They're
| most likely just referring to SPARK's formal proofing.
|
| As for the STMF4, they're possible referring to the
| STMF4DISCOVERY boards.
| redfern314 wrote:
| It likely refers to the popular STM32F4 Discovery board [0],
| which is a devkit for that family of uCs. Good for prototyping,
| has an onboard programmer and everything. It has 1MB of flash,
| so I think this line means "if you wanted to use this board,
| you'd be better off with a full RTOS that can make use of that
| code space, rather than M2OS which is optimized for single-kB
| flash sizes".
|
| The rest of your comment I agree with. It seems to be a half-
| baked academic project. Might be interesting if you know
| anything about Ada, which I don't.
|
| [0] https://www.st.com/en/evaluation-
| tools/stm32f4discovery.html
| HeyLaughingBoy wrote:
| That had me scratching my head too. I have a board next to me
| based on the STM32F407, which is the same MCU as the
| Discovery board (we prototyped on the Discovery board
| actually) and it definitely has the capability to run an
| RTOS.
| ajxs wrote:
| The Software engineering and real-time group at the
| Universidad de Cantabria seem to be pretty well credentialed
| in this area. They produced a viable RTOS some years ago
| called MarteOS ( https://marte.unican.es/ ) This is no small
| feat.
| staycoolboy wrote:
| When did Ada become popular in the embedded RTOS space? First
| I've heard of it and I've been working in the space for two
| decades.
| [deleted]
| [deleted]
| NovemberWhiskey wrote:
| In aerospace and/or defense?
___________________________________________________________________
(page generated 2020-07-30 23:00 UTC)