Marco Gerards wrote:
Mikhail Vorozhtsov <[EMAIL PROTECTED]> writes:
Hi,
I'm working on a microkernel for x86_64 (with looking forward to ppc64
and sparc64 ports). As you know, microkernels are quite useless without
user-space servers that provide "classic" OS services. But microkernels
are so
Mikhail Vorozhtsov <[EMAIL PROTECTED]> writes:
Hi,
> I'm working on a microkernel for x86_64 (with looking forward to ppc64
> and sparc64 ports). As you know, microkernels are quite useless without
> user-space servers that provide "classic" OS services. But microkernels
> are so useless that the
Hi.
I'm working on a microkernel for x86_64 (with looking forward to ppc64
and sparc64 ports). As you know, microkernels are quite useless without
user-space servers that provide "classic" OS services. But microkernels
are so useless that they even cannot load servers from disk :). That's
why boo