Texas Instruments Professional Portable Computer
The Texas Instruments Portable Professional Computer (TIPPC) is a portable version of the Texas Instruments Professional Computer (TIPC), both of which were released on January 31, 1983. The TIPC is a desktop PC and the TIPPC is a fully compatible, portable version of the TIPC, and both machines were DOS-compatible, but not IBM PC compatible.
Source: Wikipedia — Texas Instruments Professional Portable Computer (CC BY-SA 4.0)