Como já postei no fórum ARM
http://asm51.eng.br/phpbb/viewtopic.php?t=1848
E até no Labcenter e ainda não resolvi o problema, talvez alguém daqui possa me ajudar.
Existe alguma configuração ou restrição para simular firmware (8051, ARM) que usa RTOS no Proteus?
Pois quando tento simular, mesmo um "pisca led", não roda no Proteus, mas no simulador do Keil e na placa funciona.
Alguma dica?