DOSエクステンダ
A DPMI service can be 16-bit, 32-bit, or "universal" and is called the "DPMI kernel", "DPMI host", or "DPMI server". It is provided either by the host operating system ("virtual DPMI host") or by a DOS extender ("real DPMI host"). The DPMI kernel can be part of a DOS extender such as in DOS/4GW or DOS/32A, or separate, like CWSDPMI or HDPMI.