AISgen trouble on custom board bring-up

Other Parts Discussed in Thread: OMAP-L138, OMAP-L137

I'm in the middle of board bring up for a custom OMAP-L138 based board (But, lets just pretend it's an OMAP-L137 as the DSP up first -- not the ARM) and I'm at the point where I'm generating AIS and I'm a bit confused.

My goal is to boot out of SPI1 Flash, run ARM-UBL, which will in turn run U-Boot and give me some love on the serial port so I can get it configured up to run Linux. What's goofy is that there's no clear description of what makes the provided arm-spi-ais.bin. I can't find any examples in my Spectrum Digital OMAP-L137EVM SDK, PSP, or LSP.

The AISgen documentation http://focus.ti.com/general/docs/litabsmultiplefilelist.tsp?literatureNumber=sprab41 says:

As an example, create a simple AIS that boots an application on the ARM using the default configuration.
Click the Device Type dialog box and select ARM. You have to manually specify the ARM application and
output AIS files. To specify the AIS file, type C:\ais.bin in the AIS file text box (left of error indicator) or
use the browser button (right of the error indicator) to do so. Notice that the error indicator vanishes as the
text is entered in the AIS file specification box.

Specify a ARM application file (*.out) in the appropriate box by either typing its name in the appropriate
box or using the browse button to locate it. A valid ARM application can be created by building a project in
Code Composer Studio.

Now, clicking on the Generate AIS button will successfully generate an AIS file (as C:\ais.bin). The size of
this file depends on the ARM application.

AISgen simply requests that you provide a '.out' binary executable, but makes no effort to explain what it should be or do, at the absolute minimum I suspect it needs to wake up the ARM like I do in my GEL file, but even that I'm not sure about. Shouldn't specifying the PSC1_LPSC_enable(0,LPSC_ARM) do that for me? (It's already a part of AISgen.. so do I just need to make a 'int main() { return 1;}' binary to feed to AISgen? Or do I need to feed it the ARM-UBL file (Does it provide jump hints based off linker settingS?)

Anyone who could shed some light on this from OMAP-L137 or OMAP-L138 experience would be much appreciated. I'm pretty close to being able to boot!