leon_kernel.c revision b2441318
1