[fpc-devel] where do download BinUtils for ARM - Raspberry Pi?
Mark Morgan Lloyd
markMLl.fpc-devel at telemetry.co.uk
Tue Jul 2 10:13:25 CEST 2013
Michael Schnell wrote:
> On 07/02/2013 12:47 AM, Michel Catudal wrote:
>> I find smaller devices like the AVR32 and PIC32 more appropriate for
>> embedded system. ARM devices with Linux are more for use with video.
> I don't see it that way at all.
> IMHO, having a Linux OS is a great plus for embedded systems. This makes
> creating, maintaining and enhancing the user software much more
> comfortable and a developer can have a pool of easily reusable software
> snippets he can use in all his projects. Of course the support for
> multiple languages is a big plus, too. Moreover with the upcoming
> "!internet of things", support of standard software on embedded devices
> becomes more and more essential. The user want to control their
> appliances with a smartphone (or a PC) but directly attaching a monitor
> is not a decent option.
The problem there is that once you've got something with the complexity
of the Linux kernel and a standard language's RTL, you're a very long
way from being able to prove either the static or the dynamic
correctness of a system. Now I obviously accept that strict
proof-of-correctness of any realistic system is virtually impossible,
but I don't think that adding subsystems and layers implementing
features that are non-critical but have the capability of interfering
with critical code is desirable in an embedded system.
Something like RTLinux with the equivalent of a PLC implemented at the
core level is obviously one solution to this sort of problem.
Mark Morgan Lloyd
markMLl .AT. telemetry.co .DOT. uk
[Opinions above are the author's, not those of his employers or colleagues]
More information about the fpc-devel