sinq_kernel.c revision 0a012359
1