func SendKernelInfo(receipt MsgReceipt) {
	reply := NewMsg("kernel_info_reply", receipt.Msg)
	reply.Content = KernelInfo{[]int{4, 0}, "go"}
	receipt.SendResponse(receipt.Sockets.ShellSocket, reply)
}
// SendKernelInfo sends a kernel_info_reply message.
SendKernelInfo sends a kernel_info_reply message.
// SendKernelInfo sends a kernel_info_reply message .
func SendKernelInfo(receipt MsgReceipt) {
	reply := NewMsg("kernel_info_reply", receipt.Msg)
	reply.Content = KernelInfo{[]int{4, 0}, "go"}
	receipt.SendResponse(receipt.Sockets.ShellSocket, reply)
}
func SendKernelInfo ( receipt MsgReceipt ) { reply := NewMsg ( " " , receipt . Msg ) reply . Content = KernelInfo { [ ] int { 4 , 0 } , " " } receipt . SendResponse ( receipt . Sockets . ShellSocket , reply ) }
SendKernelInfo sends a kernel_info_reply message.
SendKernelInfo sends a kernel_info_reply message .