How to use Keil C for TINI DS80C390?

Hello everyone!
I use TINI DS80C390.
I need to write program that would be located at 10000h (Bank1;Bank0-TINI Loader).
Does anybody know how to set Project Settings for that purpose and how to config start390.a51 file???
My code:
void main()
{
for(;;){
P5 |=0x01;
P5 &=0xFE;
}
}
It doesn't work...Maybe I should add some code, cause I think TINI Loader want something from TINIOS before load it... And I want to replace TINOS by my program.