Hello Jan,

Monday, February 19, 2007, 11:44:47 PM, you wrote:

JV> On Monday 19 February 2007 14:27, Jes wrote:
JV> I successfully installed it on /dev/hdb3 and (now) on /dev/hda2.

Little note on those Minix3... it works...
sometimes))... I run it... C and microkernel leads to long debug?

But... Microkernels just provide some protection for leaky
legacy C programs. What if use language-based solution for problem?
Good languages, like Modula-2 or Oberon, seems provide same
level of protection as microkernels. And without so much
_mandatory_ overhead.

So we don't need Minix3, we just need good free Modula2/Oberon
compiler as system language. On top of standart monolithic kernel.
And native system library for compiler, based on direct syscalls. to
replace leaky libc. At first support for NetBSD/Linux on i386 will be
sufficient. In compilers first consider reliability and simplicity.
Sophisticated optimisations not required at all. (simple tests shows
that modula-2 compilers produce slightly faster programs than gcc -O2.
just because of strong typing. so performance is sufficient.)

Something like Oberon-0 compiler? Modula-0?))
m2f problematic, gm2 too linked to gcc/libc by definition,
xds is proprietary... if forget about codegen changes and
proprietarity of BEG, only mocka remains?
...Then we can rewrite NetBSD kern... or those Minix3 if wish...
but in Modula2, not in C-trash... Then applications...
Good web-server, extensible by modula-compiled snippets,
based on thttpd. (to replace PHP/LAMP trash)... Postgress DB...
and so on...
))

at this time i know only one Unix-like os in modula2 - Lumos...
and it's old, for m68...

Now i already experimenting with mocka on linux and netbsd.
but mocka library linked to libc, like in XDS modula.

So i thinking on own static syscall library. Just planning.
Making table of common syscalls, making list of ISO modules
for modula2 etc.

P.S.
ACK toolkit use stack-based internal representation like GardensPoint
Modula etc... I'd like to hear comments on _quality_ of ACK compiler.
Minix3 not so iteresting, only ACK...))
--
Best regards,
CheshireCat mailto:GDKBadmin@...