Linux, infrastructure, code, and notes