Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

> Micro kernels are very hard to debug.

Absolute nonsense. Micro kernels are much easier to debug than macro-kernels.

The reasons are obvious to anybody that has spent more than an afternoon working with both, a microkernel is so small that the chances that your problem is in the kernel are minute compared to having your problem in user space. That means that all your luxury debug tools are available to debug the vast majority of your problems.

After the initial write the kernel code of a microkernel system is hardly ever touched. A good microkernel will limit itself to do the most limited subset that will still allow the system to function and will move everything else to regular processes.



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: