[fpc-devel] where do download BinUtils for ARM - Raspberry Pi?

[Mark Morgan Lloyd]

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]