Texas Instruments 4000M - Manual (Page 214)

Using the Portable
CD-ROM Docking System
Battery LED
The battery LED lights amber when the internal battery of
the Portable CD-ROM Docking System is charging. The
LED turns green when the battery is at least 90% charged.
The Battery LED on the notebook lights red when the
battery is low in the upper or lower compartments.
Battery Release
The Battery Release removes the battery from the notebook
while the notebook is docked to the portable CD-ROM
docking system. To release the battery, pull the battery
release tab out.
Battery release
Portable CD-ROM Docking System 12-13