microkernels

[Beholder]

Francois-Rene Rideau wrote:

> I do agree that the most important point is to have the right primitives;
> and that's perhaps what I'd like a no-kernel to be about:
> focus the design attention on the semantics of primitives,
> rather than on particular implementation mechanisms,
> that should be hardware-dependent
> (which is I think a positive contribution of exo/nano-kernel approaches,
> independently from their kernelful aspect).

What primitives do you suggest?  If you have an answer, I think it brings you one
step closer to implementing Tunes, rather than discussing the trivialities of
kernel design.  If Tunes is to be a true Meta-Language system, wouldn't it be
possible to have either type of kernel?  Would the kernel even matter?