Verry basic question

[Bill Nolan]

Where is the kernel ?? 

I've read all the documentation, I 've been able to find , and have looked at length through what reports its self a sucessfull build of the erc32 bsp with no luck. 

Is a BSP a kernel ? 

or is a BSP a extension to the RTEMS kernel, as its name suggests ?

I applogise for the low level of my question, But I have no where left to look for answers. 
Truly , Bill Nolan 
wnolan at bnl.gov