Operating Systems in silicon and the Dynamic Management of Resources in Many-Core Chips