onboard led pinouts 2440

I cant seem to understand where the onboard leds x4 on the mini2440 pin out
to, I assume con4?

anyone assist?

not on headers, just connected to led
GPB5,6,7,8
Check schematic on page 2

http://www.friendlyarm.net/dl.php?file=mini2440_schematic.zip

ok thanks for that, id decided thats what it looked like but I cant
understand the point of it not being externally accessible so I thought id
ask.