VIREOS: an integrated, bottom-up, educational operating systems project with FPGA support. - Marc L. Corliss; Marcela Melara (SIGCSE, 2011)