LinuxQuestions.org

LinuxQuestions.org (/questions/)
-   Linux - Distributions (http://www.linuxquestions.org/questions/linux-distributions-5/)
-   -   Is there an x86 linux distro w/ a micro kernel? (http://www.linuxquestions.org/questions/linux-distributions-5/is-there-an-x86-linux-distro-w-a-micro-kernel-227972/)

Thaidog 09-07-2004 10:01 PM

Is there an x86 linux distro w/ a micro kernel?
 
Is there an x86 linux distro w/ a micro kernel?

There was mk linux for power pc... I'm looking for something today for x86 that's well kept? Asking too much?

slackMeUp 09-07-2004 10:22 PM

Yes you are asking to much. ..

mk/linux was the linux kernel running ontop of a microkernel (but I can't remember which microkernel. . mach maybe)

The Linux kernel is not a microkernel, nor ever will be. . .

Maybe you should try out other *nix like OSes that use microkernels. . . if you are interested in them that is. ..

or maybe you should read up on just what a microkernel is. . . before asking questions like this again that is.

Thaidog 09-08-2004 12:10 AM

Quote:

Originally posted by slackMeUp
Yes you are asking to much. ..

mk/linux was the linux kernel running ontop of a microkernel (but I can't remember which microkernel. . mach maybe)

The Linux kernel is not a microkernel, nor ever will be. . .

Maybe you should try out other *nix like OSes that use microkernels. . . if you are interested in them that is. ..

or maybe you should read up on just what a microkernel is. . . before asking questions like this again that is.

Yes it was mach. thus mk linux... thus linux with a micro kernel.

Is there some kind of issue you'd like to bring to my attention? I think you've miss judged why I asked the question.

slackMeUp 09-08-2004 04:05 AM

sorry. .. I thought you were asking for a Linux distro that just uses a microkernel. . . . Which would not make it a linux distro.



Anyway. . .

What do you need a microkernel for? Just wanna test things out?

Thaidog 09-08-2004 04:15 AM

Quote:

Originally posted by slackMeUp
sorry. .. I thought you were asking for a Linux distro that just uses a microkernel. . . . Which would not make it a linux distro.



Anyway. . .

What do you need a microkernel for? Just wanna test things out?

Well I was basically wondering as you suggested what makes linux, with a micro kernel, Linux instead of a BSD distro.

Also, since I'm more familar on the x86 side of things with Linux than BSD (all though I do own 2 OS X machines) I thought it might be more familiar and thus easier to use than a true BSD distro.

I'm also planning on buying a EE P4 with the new system I'm currently building and I thought that there might be performance benefits with a microkernel and a 2MB cache vs a monolithic kernel.

slackMeUp 09-08-2004 12:50 PM

Well that makes some sense. ..

However, I don't feel that adding another layer to an OS is a good thing when it does not need to be done.

Remember, that with a microkernel, the linux kernel still does all the work for the userland linux apps. . .but just as a process ontop of the microkernel. So the extra cache would still help . . but not in the way might be thinking.

The BSD kernel. . . (BSDLight4.X) is a bulky mofo too, just not as bulky as Linux.

OSX uses mach, but where it lacks in kernel size, it makes up for with userland driver subsystems.

I would just stick with Linux. . . or BSD. Whichever works for you.

Mach is cool. .. but if you really want to get into microkernels and learn a bit about them. .. try GNU/Hurd and start writing your own drivers for it. (because it won't have support for your hardware)


All times are GMT -5. The time now is 10:53 PM.