The code size of Fiasco µ-kernel

Jonathan S. Shapiro shap at
Mon Dec 8 16:03:13 CET 2003

On Mon, 2003-12-08 at 09:38, Hermann Härtig wrote:
> Jonathan S. Shapiro wrote:
>  > Within reasonable limits, it doesn't matter what the size of the kernel
>  > is. We have so much memory on modern machines that the difference in
>  > code size between a 20k kernel and a 60k kernel simply doesn't matter
>  > very much.
> On different scale: it matters a lot whether the kernel consists of 10K 
> or 100k Lines of Code.


Though even this is deceptive -- the real issue in verification has more
to do with conceptual complexity than lines of code. For example, the
presence of the same validation check repeated in many places does not
significantly increase the complexity of verification.


More information about the l4-hackers mailing list