-- small bug fix in kernel; and first pass at kernel receiving incoming messages