Getting started on kernel dev guide workspace