Issued Patents 2020
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10795739 | Port configuration for microkernel operating system | Christoph Klee, Sumit Kamath | 2020-10-06 |
| 10725770 | Hot-swapping operating systems using inter-partition application migration | Mukund Gunti, Vishnu Mohan Sekhar | 2020-07-28 |