Code relating to the microfuchsia product and its testing lives here. (See //products/microfuchsia/ for product details.)