Comment by johndoe0815

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