[M3devel] cm3 on raspberry pi

[Daniel Alejandro Benavides D.]

Hi all:
And as it happens, and other OS projects have died just because of that component in their OSes.
My goal would be like this (based on some suppositions of course, but I'm almost certain of the following):
- Modula-3 would allows to create a development environment capable of doing the hardest work, but will easy the self-construction of:
- A driver manager system or sub-system, included in the micro-kernel, e.g Mach or ARX, or SPIN
- A compiler self-trusted (currently SPIN just certifies based on type-checking but not any other static or at all procedure that I know) harvesting of trust, in which Baby Modula-3 self-constructing compiler would help to improve the most interesting parts of the compiler itself.
- Development of specifications from documentation *available* of controllers.
- Method implementations of them being written by hand, or with some sort of hackers help.
- Self-checking of the above, and more static analysis techniques.
- After we develop that, then it is time to implement the rest systematically, on architecture basic features grounds, which would allows us if possible to detect from existing drivers creation of new device drivers automatically. Possible target languages are logical ones, since most of drivers are written in assembly, then why not implemented in a logical manner (a.k.a NEC's LIME).
Mika you have a Scheme interpreter, what is the status of that?

Thanks in advance
--- El jue, 22/3/12, Daniel Alejandro Benavides D. <dabenavidesd at yahoo.es> escribió:

> De: Daniel Alejandro Benavides D. <dabenavidesd at yahoo.es>
> Asunto: Re: [M3devel] cm3 on raspberry pi
> Para: "Hendrik Boom" <hendrik at topoi.pooq.com>, "Dragiša Durić" <dragisha at m3w.org>
> CC: m3devel at elegosoft.com
> Fecha: jueves, 22 de marzo, 2012 07:24
> Hi all:
> I think they further developed source kernel, but several
> parts of it like the kernel drivers are left up to each one
> to setup (and as far as I know, they didn't want to open the
> ALPHA port, but the SPINE project would replace/update that
> port, I mean who cares an Alpha this days, unless you had
> something big there). However the Unix emulation server was
> more advanced in the Alpha port. However DEC UNIX server
> would matter only to anyone with that system, anyone? 
> Thanks in advance
> 
> --- El jue, 22/3/12, Dragiša Durić <dragisha at m3w.org>
> escribió:
> 
> > De: Dragiša Durić <dragisha at m3w.org>
> > Asunto: Re: [M3devel] cm3 on raspberry pi
> > Para: "Hendrik Boom" <hendrik at topoi.pooq.com>
> > CC: m3devel at elegosoft.com
> > Fecha: jueves, 22 de marzo, 2012 06:08
> > Do we have all parts of SPIN? And do
> > we have a right to modify it, etc etc?
> > 
> > On Mar 21, 2012, at 11:01 PM, Hendrik Boom wrote:
> > 
> > > On Wed, Mar 21, 2012 at 11:31:30AM +0000, Daniel
> > Alejandro Benavides D. wrote:
> > >> Hi all:
> > >> las t I thing I heard it changed from USB
> stick to
> > credit card sized, but I wonder if the USB stick is
> > available in any of Models.
> > >> I wonder if it would be easier I think to
> handle.
> > >> In any case, this good stuff to test a cross
> > compiler, I believe it is ARM32_LINUX, or so, but it
> would
> > be something akin Android phone-likes thing.
> > >> The other question I was wondering if we can
> put on
> > it the ARX (because RIOS OS is adapting their OS as a
> third
> > party), they have told have they can emulate the thing
> for
> > now with a VM developed for their OS.
> > >> Thanks in advance
> > > 
> > > While we're speculating, is there any chance SPIN
> would
> > run on it?
> > > 
> > > -- hendrik
> > 
> >
>