Hi Raul,
Ok, so I read through the LPC83x User Manual, the SDK example code, and my project code, and I see that the User Manual and SDK example code both mention and reference the PDRUNCFG register to power on the ADC. However, the generated project code does *not* specifically turn on the ADC via the PDRUNCFG register. I had to place the following call --
POWER_DisablePD(kPDRUNCFG_PD_ADC0);
Before
BOARD_InitBootPeripherals();
And then my project, including the ADC interrupts, would work. That seems like it would be a bug of sorts, since I do specify in the Peripherals configuration page to "Perform auto-calibration on startup," but auto-calibration can't happen if the ADC is not powered on. Or it should not be able to happen without the ADC being powered on.
At any rate, while I'm not getting the expected ADC values - which I'll investigate, but it's probably related to voltage level settings - the basic mechanics of the ADC are working, as near as I can tell, so I'm going to mark this issue as closed.