Text this: Validation of a microkernel : a case study