Build kernel and user-level programs