Using Subversion to update this page

See How do I update workgroup pages using SVN?

Once you have an account and access, you can check out a tree with:

svn co https://repo.eecs.berkeley.edu/svn/projects/embedded/metropolis/trunk/metropolis