Date   : Thu, 29 Dec 2011 13:13:40 +0000 (GMT)
From   : dabenavidesd@... (Daniel Alejandro Benavides D.)
Subject: About ARM PC

Hi:
well, I kind of say the GNU/Linux is not the worst system, but it was not 
thought for booting i.e a Smart Card, if that's the case there is room for
Micro-kernels than for 8 MB boot images (I miss the times when you boot up
the kernel with a Floppy disk image).
Having said that the Operating system itself above the Micro-kernel is what 
make people's preferences, e.g Kde, Mac, etc, and basically having a system
that can run all the preferences I can say providers of software can decide
what will be putting on it, a Risc OS, and so on, or just a Small Hand-crafted
linux distro.
Anyway the new OSes coming from software providers will run above an Micro-Kernel?
If that's the case I would make a case for that.
There are some intents to hand-craft Linux to a kind of Micro-kernel where
you can run anything like that, you know, RISC OS, etc.
Thanks in advance

--- El mi?, 28/12/11, Rick Murray <rick@...> escribi?:

De: Rick Murray <rick@...>
Asunto: Re: [BBC-Micro] About ARM PC
Para: "Daniel Alejandro Benavides D." <dabenavidesd@...>, bbc-micro
at lists.cloud9.co.uk
Fecha: mi?rcoles, 28 de diciembre, 2011 19:41

#yiv1079831772 body {word-wrap:break-word;background-color:#ffffff;}Hi,

Given the set top box used NCOS (basically RISC OS for dummies), I guess
nothing came of this. There's more to a system than making a cool microkernel,
you need back-end support (compilers, API, libraries) and front-end support
(applications!). 

You know my disdain for Linux on low power embedded devices. Well, the above 
may explain why a dinky PVR is running a version of Linux - fix up the HAL 
and boot stuff, get gcc working for the platform, and you're good to go 
with a pretty complete OS appearing minutes/hours/days after you type "make". 
Frankly, what else stands a hope of competing? Still waiting on Haiku, I
would imagine ARM Windows would have many differences, and RISC OS itself
is a "special case" (without a hope in hell on non-ARM hardware).


In short, I reckon this kernel went the way of ARX - nice idea, grim reality.


Best wishes,

Rick

(sent from my mobile)

-----Original message-----
From: "Daniel Alejandro Benavides D." <dabenavidesd@...>
To: bbc-micro@...
Sent: 2011 Dec, Wed, 28 20:57:00 CET
Subject: [BBC-Micro] About ARM PC

Hi all:
Does anybody know what was the licensing of IBM's Workplace Microkernel to
ARM (Goldstar Co)?

http://www.cbronline.com/news/goldstar_may_take_os2_for_powerpc_and_handhel
ds

What went on with that ARM =B5-kernel?

Thanks in advance

_______________________________________________
bbc-micro mailing list
bbc-micro@...
http://lists.cloud9.co.uk/mailman/listinfo/bbc-micro