Porting for Minix 3

13 views
Skip to first unread message

Gerhard Weiß

unread,
Feb 26, 2010, 8:48:41 AM2/26/10
to min...@googlegroups.com
Hello,

while the Minx 3 web-site tells, that there are ports for ARM and PowerPC underway, I found little traces of them. Ingmar Alting's Master Thesis indicates, that there was existing code, but I cannot find it in the SVN - also I do not find something for ARM.
I would like to contribute to a PowerPC port, to get a system initially running on an embedded board. My employer is willing to support by allocating some of my work-time to this. Is there any code existing, I could start with? How could any results go back into the main trunk?


Best regards,


Gerhard Weiß

--

Nataraj S Narayan

unread,
Feb 26, 2010, 11:55:55 PM2/26/10
to min...@googlegroups.com
Yeah, me too am look out for a starting point for the Arm port of a
micro kernel based Os.

Arun was telling me that so work was under way, but he has'nt
disclosed the status yet.

regards

Nataraj

> --
> You received this message because you are subscribed to the Google Groups "minix3" group.
> To post to this group, send email to min...@googlegroups.com.
> To unsubscribe from this group, send email to minix3+un...@googlegroups.com.
> For more options, visit this group at http://groups.google.com/group/minix3?hl=en.
>
>

Erik van der Kouwe

unread,
Feb 27, 2010, 6:39:33 AM2/27/10
to minix3
Hi,

> Arun was telling me that so work was under way, but he has'nt
> disclosed the status yet.

The ARM port is listed here on the official projects page, so it is
being worked on:
http://wiki.minix3.org/en/WhoIsWorkingOnWhat

I don't know however how far along it is, to find out you should
probably contact the one working on it. Unfortunately, an e-mail
address is not listed on the page.

With kind regards,
Erik

Tomas Hruby

unread,
Feb 27, 2010, 6:16:17 PM2/27/10
to min...@googlegroups.com

I know the email address ;-) and I've been comunicating the that guy.

Afaik he got something working with many many workarounds. It turns
out that porting Minix to other architectures is not a trivial task.
Mainly because the code for the other architectures Minix used to
support was unmaintained and is practically dead. Since then all the
development was toooooo much focused on x86. For instance using 3
privilledge levels (finally not true anymore), using segmentaion only
for quite some time before swtching to paging only later after the VM
server is up an running, VM server assumes that the processor fills
the TLBs itself etc. etc. These assumptions are generally not true
for RISC processors like ARM, MIPS etc. Pretty much for any other
processor but x86 ;-) Fixing all this would turn into major rework of
the system. And that was the conclusion of the ARM project (please
correct me if I am wrong). It's probably possible to work around many
of the problems, but well ...

Imho the only meaningfull port at this time would be x86-64.

Cheers, T.

Gerd-Weiss

unread,
Mar 3, 2010, 2:58:50 AM3/3/10
to minix3
Hello Tomas,

On Feb 28, 12:16 am, Tomas Hruby <thr...@gmail.com> wrote:
> On Sat, Feb 27, 2010 at 03:39:33AM -0800, Erik van der Kouwe wrote:
>

...


> > The ARM port is listed here on the official projects page, so it is
> > being worked on:
> >http://wiki.minix3.org/en/WhoIsWorkingOnWhat
>

...


> I know the email address ;-) and I've been comunicating the that guy.
>

...
>
> Imho the only meaningfull port at this time would be x86-64.
>
> Cheers, T.

I still want to give it a try for PowerPC - do you know whom I should
contact
for existing stuff, even if old/outdated?

Regards,

Gerd.

Tomas Hruby

unread,
Mar 3, 2010, 3:05:27 AM3/3/10
to min...@googlegroups.com
On Tue, Mar 02, 2010 at 11:58:50PM -0800, Gerd-Weiss wrote:
> Hello Tomas,
>
> On Feb 28, 12:16�am, Tomas Hruby <thr...@gmail.com> wrote:
> > On Sat, Feb 27, 2010 at 03:39:33AM -0800, Erik van der Kouwe wrote:
> >
> ...
> > > The ARM port is listed here on the official projects page, so it is
> > > being worked on:
> > >http://wiki.minix3.org/en/WhoIsWorkingOnWhat
> >
> ...
> > I know the email address ;-) and I've been comunicating the that guy.
> >
> ...
> >
> > Imho the only meaningfull port at this time would be x86-64.
> >
> > Cheers, T.
>
> I still want to give it a try for PowerPC

Well, whatever ...

> - do you know whom I should
> contact
> for existing stuff, even if old/outdated?

The ARM or PowerPC?

T.

Gerd-Weiss

unread,
Mar 3, 2010, 3:16:20 AM3/3/10
to minix3
On Mar 3, 9:05 am, Tomas Hruby <thr...@gmail.com> wrote:
> The ARM or PowerPC?

PowerPC

Regards,
Gerd.

Reply all
Reply to author
Forward
0 new messages