コード例 #1
0
ファイル: phact-test.c プロジェクト: GaloisInc/echronos
int
main(void)
{
    rtos_start();
    /* Should never reach here, but if we do, an infinite loop is
       easier to debug than returning somewhere random. */
    for (;;) ;
}
コード例 #2
0
ファイル: main.c プロジェクト: bli19/smaccmpilot-stm32f4
int main()
{
    tower_entry();
    rtos_start();

    for (;;)
        ;

    return 0;
}
コード例 #3
0
ファイル: test.c プロジェクト: andrewkatis/smaccm
void main() {
   debug_println("Starting system!");
   smaccm_initialize_px4_systick_interrupt();
   rtos_start();
}