This page has moved to ../chipyard-basics/configs-parameters-mixins/.