First cut of Linux for HMI800