ALEXANDRIA, Va., June 17 -- United States Patent no. 12,314,734, issued on May 27, was assigned to Massachusetts Institute of Technology (Cambridge, Mass.).

"Operating system service extensions for microkernels" was invented by Richard W. Skowyra (Somerville, Mass.), Samuel Jero (Waltham, Mass.), Juliana Furgala (Waltham, Mass.), Bryan C. Ward (Melrose, Mass.) and Roger Khazan (Arlington, Mass.).

According to the abstract* released by the U.S. Patent & Trademark Office: "According to embodiments of the present disclosure, a system includes: a microkernel having a low-level application programming interface (API) and providing memory protection domains to user-level processes; and an abstraction layer running on top of the microkernel and ...