tc1989tc/GridOS — pull request #20 by tc1989tc (2014-06-03 10:23:35+00:00)
Title: Fixed the kernel message sending bug with parameter count.

Signed-off-by: wuxin <82828068@qq.com>