In order to make the mpi process more efficient, has anyone considered implementing mpich2 as part of an operating system, or maybe even as firmware ? Has anything been attempted in this direction ?