Background research for Ares - Learn about Plan 9 - How does TCP work? Can you write an echo server/client? - How does a VPN work? - How does the terminal startup code work? - Study rc - Study acid - Try out Minix (just an afternoon playing with it) - Read the seL4 papers and manual - Don't recommend trying to build it or get it running - What are the advantages of seL4's design? - Do you have any critiques of seL4? - Get yggdrasil working and get some hosts talking to each other with it - How would one use tun/tap to implement something like yggdrasil from scratch?