The Carbon Device Kernel for the u8800pro.