Are you planning to also provide an English translation of your microkernel book? That sounds very interesting...