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?