Add kernel and stdlib