Raspberry pi ?
Marcus Völp
voelp at os.inf.tu-dresden.de
Tue Dec 25 12:04:44 CET 2012
Hi,
On 12/25/2012 10:27 AM, Torsten Rüger wrote:
> sorry I'm not really a os "hacker" and I haven't even got the code yet, but was wondering if someone could help me with my issue:
>
> Is there any activity of L4 on raspberry pi (a pocket size computer) ? Or is there elsewhere I can ask.
Adam got one short before Christmas but I don't know whether he took it
with him during the holidays, so probably you have to wait for a port
until Jan 5 ;)
>
> Specifically the plan would be to build a ruby-machine on it. Single user but multi-process. If would only need to be able to access usb,ethernet and gpios. And run and start several ruby processes.
> I know ruby vm well enough to cut that down to size.
I'm not that familiar with ruby but usually its more about what kind of
backends it is using in the libraries. I assume ruby builds on pthreads,
sockets to access the network and some file system stuff, which you need
in addition to the 3 drivers.
>
> But I have no idea of how difficult it would be to remove linux and replace it with those 3 device drivers. Or even where to get those, how to integrate them.
The drivers themselves are part of Linux. You may want to look into our
Device Driver Environment, which is part of the L4 Runtime Environment
(http://os.inf.tu-dresden.de/L4Re/), to get an idea how to run Linux
drivers in a different environment. Also L4Re provides you with most of
the stuff that you need for Ruby (like pthreads, networking, etc.). So.,
if you don't mind running some lightweight kernel beneath Ruby, we would
welcome something like Ruby on L4.
>
> So i was hoping somebody here could say how crazy this is, or if I can stamp down some trodden path ?
Yes this is really crazy ...
... therefore we do things like this for quite some time now.
Merry Christmas,
Marcus
--
Dr.-Ing. Marcus Völp
Wissenschaftlicher Mitarbeiter
Technische Universität Dresden
Fakultät für Informatik, Institut für Systemarchitektur
Lehrstuhl für Betriebssysteme
01062 Dresden
Tel.: +49 (351) 463-38350
Fax: +49 (351) 463-38284
E-Mail: voelp at os.inf.tu-dresden.de
More information about the l4-hackers
mailing list