A secure networked laboratory for kernel programming | ACM SIGCSE Bulletin | DeepDyve