some of my low-level stuff in linux kernel