I've heard that VMS has some tools for microcoding VAXen. Has anyone developed anything along those lines for UNIX or even investigated the possibility?