[kragen]

you seem to have thought i said 'unfortunately microkernels aren't obsolete', but that is the opposite of what i said