In "DLP® LightCrafter™ Display 3010 EVM Gen2 User's Guide" (page 5, 6), a 12-V DC power supply can be used as an external supply to the J9 connector.
But there is no description about max output current when operating the evm with an external 12-V DC power supply
(Otherwise, there is description about max output current when using 19-V DC, 4.74A).
Please let me know about it.