Hello. Just updated my Dynabook to HEAD, I see the following warning message on console: WARNING: driver sc should register devices with make_dev() (dev_t = "#sc/255") This message appears on the console every time moused is started. Any ideas why? Cheers.