apps/main.c

   1 /***************************************************************************
   2  *             __________               __   ___.
   3  *   Open      \______   \ ____   ____ |  | _\_ |__   _______  ___
   4  *   Source     |       _//  _ \_/ ___\|  |/ /| __ \ /  _ \  \/  /
   5  *   Jukebox    |    |   (  <_> )  \___|    < | \_\ (  <_> > <  <
   6  *   Firmware   |____|_  /\____/ \___  >__|_ \|___  /\____/__/\_ \
   7  *                     \/            \/     \/    \/            \/
   8  * $Id$
   9  *
  10  * Copyright (C) 2002 Björn Stenberg
  11  *
  12  * This program is free software; you can redistribute it and/or
  13  * modify it under the terms of the GNU General Public License
  14  * as published by the Free Software Foundation; either version 2
  15  * of the License, or (at your option) any later version.
  16  *
  17  * This software is distributed on an "AS IS" basis, WITHOUT WARRANTY OF ANY
  18  * KIND, either express or implied.
  19  *
  20  ****************************************************************************/
  21 #include "config.h"
  22
  23 #include "gcc_extensions.h"
  24 #include "storage.h"
  25 #include "disk.h"
  26 #include "fat.h"
  27 #include "lcd.h"
  28 #include "rtc.h"
  29 #include "debug.h"
  30 #include "led.h"
  31 #include "kernel.h"
  32 #include "button.h"
  33 #include "tree.h"
  34 #include "filetypes.h"
  35 #include "panic.h"
  36 #include "menu.h"
  37 #include "system.h"
  38 #include "usb.h"
  39 #include "powermgmt.h"
  40 #include "adc.h"
  41 #include "i2c.h"
  42 #ifndef DEBUG
  43 #include "serial.h"
  44 #endif
  45 #include "audio.h"
  46 #include "mp3_playback.h"
  47 #include "thread.h"
  48 #include "settings.h"
  49 #include "backlight.h"
  50 #include "status.h"
  51 #include "debug_menu.h"
  52 #include "font.h"
  53 #include "language.h"
  54 #include "wps.h"
  55 #include "playlist.h"
  56 #include "core_alloc.h"
  57 #include "rolo.h"
  58 #include "screens.h"
  59 #include "usb_screen.h"
  60 #include "power.h"
  61 #include "talk.h"
  62 #include "plugin.h"
  63 #include "misc.h"
  64 #include "dircache.h"
  65 #ifdef HAVE_TAGCACHE
  66 #include "tagcache.h"
  67 #include "tagtree.h"
  68 #endif
  69 #include "lang.h"
  70 #include "string.h"
  71 #include "splash.h"
  72 #include "eeprom_settings.h"
  73 #include "scrobbler.h"
  74 #include "icon.h"
  75 #include "viewport.h"
  76 #include "skin_engine/skin_engine.h"
  77 #include "statusbar-skinned.h"
  78 #include "bootchart.h"
  79 #if (CONFIG_PLATFORM & PLATFORM_ANDROID)
  80 #include "notification.h"
  81 #endif
  82 #include "shortcuts.h"
  83
  84 #ifdef IPOD_ACCESSORY_PROTOCOL
  85 #include "iap.h"
  86 #endif
  87
  88 #if (CONFIG_CODEC == SWCODEC)
  89 #include "playback.h"
  90 #include "tdspeed.h"
  91 #endif
  92 #if (CONFIG_CODEC == SWCODEC) && defined(HAVE_RECORDING) && !defined(SIMULATOR)
  93 #include "pcm_record.h"
  94 #endif
  95
  96 #ifdef BUTTON_REC
  97     #define SETTINGS_RESET BUTTON_REC
  98 #elif (CONFIG_KEYPAD == GIGABEAT_PAD)
  99     #define SETTINGS_RESET BUTTON_A
 100 #endif
 101
 102 #if CONFIG_TUNER
 103 #include "radio.h"
 104 #endif
 105 #if (CONFIG_STORAGE & STORAGE_MMC)
 106 #include "ata_mmc.h"
 107 #endif
 108
 109 #ifdef HAVE_REMOTE_LCD
 110 #include "lcd-remote.h"
 111 #endif
 112
 113 #if CONFIG_USBOTG == USBOTG_ISP1362
 114 #include "isp1362.h"
 115 #endif
 116
 117 #if CONFIG_USBOTG == USBOTG_M5636
 118 #include "m5636.h"
 119 #endif
 120
 121 #ifdef HAVE_HARDWARE_CLICK
 122 #include "piezo.h"
 123 #endif
 124
 125 #if (CONFIG_PLATFORM & PLATFORM_NATIVE)
 126 #define MAIN_NORETURN_ATTR NORETURN_ATTR
 127 #else
 128 /* gcc adds an implicit 'return 0;' at the end of main(), causing a warning
 129  * with noreturn attribute */
 130 #define MAIN_NORETURN_ATTR
 131 #endif
 132
 133 #if (CONFIG_PLATFORM & (PLATFORM_SDL|PLATFORM_MAEMO|PLATFORM_PANDORA))
 134 #ifdef SIMULATOR
 135 #include "sim_tasks.h"
 136 #endif
 137 #include "system-sdl.h"
 138 #define HAVE_ARGV_MAIN
 139 /* Don't use SDL_main on windows -> no more stdio redirection */
 140 #if defined(WIN32)
 141 #undef main
 142 #endif
 143 #endif
 144
 145 /*#define AUTOROCK*/ /* define this to check for "autostart.rock" on boot */
 146
 147 static void init(void);
 148 /* main(), and various functions called by main() and init() may be
 149  * be INIT_ATTR. These functions must not be called after the final call
 150  * to root_menu() at the end of main()
 151  * see definition of INIT_ATTR in config.h */
 152 #ifdef HAVE_ARGV_MAIN
 153 int main(int argc, char *argv[]) INIT_ATTR MAIN_NORETURN_ATTR ;
 154 int main(int argc, char *argv[])
 155 {
 156     sys_handle_argv(argc, argv);
 157 #else
 158 int main(void) INIT_ATTR MAIN_NORETURN_ATTR;
 159 int main(void)
 160 {
 161 #endif
 162     CHART(">init");
 163     init();
 164     CHART("<init");
 165     FOR_NB_SCREENS(i)
 166     {
 167         screens[i].clear_display();
 168         screens[i].update();
 169     }
 170 #ifdef HAVE_LCD_BITMAP
 171     list_init();
 172 #endif
 173     tree_gui_init();
 174     /* Keep the order of this 3
 175      * Must be done before any code uses the multi-screen API */
 176 #ifdef HAVE_USBSTACK
 177     /* All threads should be created and public queues registered by now */
 178     usb_start_monitoring();
 179 #endif
 180
 181 #ifdef AUTOROCK
 182     {
 183         char filename[MAX_PATH];
 184         const char *file =
 185 #ifdef APPLICATION
 186                                 ROCKBOX_DIR
 187 #else
 188                                 PLUGIN_APPS_DIR
 189 #endif
 190                                     "/autostart.rock";
 191         if(file_exists(file)) /* no complaint if it doesn't exist */
 192         {
 193             plugin_load(file, NULL); /* start if it does */
 194         }
 195     }
 196 #endif /* #ifdef AUTOROCK */
 197
 198     global_status.last_volume_change = 0;
 199     /* no calls INIT_ATTR functions after this point anymore!
 200      * see definition of INIT_ATTR in config.h */
 201     CHART(">root_menu");
 202     root_menu();
 203 }
 204
 205 static int init_dircache(bool preinit) INIT_ATTR;
 206 static int init_dircache(bool preinit)
 207 {
 208 #ifdef HAVE_DIRCACHE
 209     int result = 0;
 210     bool clear = false;
 211
 212     if (preinit)
 213         dircache_init();
 214
 215     if (!global_settings.dircache)
 216         return 0;
 217
 218 # ifdef HAVE_EEPROM_SETTINGS
 219     if (firmware_settings.initialized && firmware_settings.disk_clean
 220         && preinit)
 221     {
 222         result = dircache_load();
 223
 224         if (result < 0)
 225         {
 226             firmware_settings.disk_clean = false;
 227             if (global_status.dircache_size <= 0)
 228             {
 229                 /* This will be in default language, settings are not
 230                    applied yet. Not really any easy way to fix that. */
 231                 splash(0, str(LANG_SCANNING_DISK));
 232                 clear = true;
 233             }
 234
 235             dircache_build(global_status.dircache_size);
 236         }
 237     }
 238     else
 239 # endif
 240     {
 241         if (preinit)
 242             return -1;
 243
 244         if (!dircache_is_enabled()
 245             && !dircache_is_initializing())
 246         {
 247             if (global_status.dircache_size <= 0)
 248             {
 249                 splash(0, str(LANG_SCANNING_DISK));
 250                 clear = true;
 251             }
 252             result = dircache_build(global_status.dircache_size);
 253         }
 254
 255         if (result < 0)
 256         {
 257             /* Initialization of dircache failed. Manual action is
 258              * necessary to enable dircache again.
 259              */
 260             splashf(0, "Dircache failed, disabled. Result: %d", result);
 261             global_settings.dircache = false;
 262         }
 263     }
 264
 265     if (clear)
 266     {
 267         backlight_on();
 268         show_logo();
 269         global_status.dircache_size = dircache_get_cache_size();
 270         status_save();
 271     }
 272
 273     return result;
 274 #else
 275     (void)preinit;
 276     return 0;
 277 #endif
 278 }
 279
 280 #ifdef HAVE_TAGCACHE
 281 static void init_tagcache(void) INIT_ATTR;
 282 static void init_tagcache(void)
 283 {
 284     bool clear = false;
 285 #if CONFIG_CODEC == SWCODEC
 286     long talked_tick = 0;
 287 #endif
 288     tagcache_init();
 289
 290     while (!tagcache_is_initialized())
 291     {
 292         int ret = tagcache_get_commit_step();
 293
 294         if (ret > 0)
 295         {
 296 #if CONFIG_CODEC == SWCODEC
 297             /* hwcodec can't use voice here, as the database commit
 298              * uses the audio buffer. */
 299             if(global_settings.talk_menu
 300                && (talked_tick == 0
 301                    || TIME_AFTER(current_tick, talked_tick+7*HZ)))
 302             {
 303                 talked_tick = current_tick;
 304                 talk_id(LANG_TAGCACHE_INIT, false);
 305                 talk_number(ret, true);
 306                 talk_id(VOICE_OF, true);
 307                 talk_number(tagcache_get_max_commit_step(), true);
 308             }
 309 #endif
 310 #ifdef HAVE_LCD_BITMAP
 311             if (lang_is_rtl())
 312             {
 313                 splashf(0, "[%d/%d] %s", ret, tagcache_get_max_commit_step(),
 314                     str(LANG_TAGCACHE_INIT));
 315             }
 316             else
 317             {
 318                 splashf(0, "%s [%d/%d]", str(LANG_TAGCACHE_INIT), ret,
 319                     tagcache_get_max_commit_step());
 320             }
 321 #else
 322             lcd_double_height(false);
 323             lcd_putsf(0, 1, " DB [%d/%d]", ret,
 324                 tagcache_get_max_commit_step());
 325             lcd_update();
 326 #endif
 327             clear = true;
 328         }
 329         sleep(HZ/4);
 330     }
 331     tagtree_init();
 332
 333     if (clear)
 334     {
 335         backlight_on();
 336         show_logo();
 337     }
 338 }
 339 #endif
 340
 341 #if (CONFIG_PLATFORM & PLATFORM_HOSTED)
 342
 343 static void init(void)
 344 {
 345     system_init();
 346     core_allocator_init();
 347     kernel_init();
 348 #ifdef APPLICATION
 349     paths_init();
 350 #endif
 351     enable_irq();
 352     lcd_init();
 353 #ifdef HAVE_REMOTE_LCD
 354     lcd_remote_init();
 355 #endif
 356 #ifdef HAVE_LCD_BITMAP
 357     FOR_NB_SCREENS(i)
 358         global_status.font_id[i] = FONT_SYSFIXED;
 359     font_init();
 360 #endif
 361     show_logo();
 362     button_init();
 363     powermgmt_init();
 364     backlight_init();
 365 #ifdef SIMULATOR
 366     sim_tasks_init();
 367 #endif
 368 #if (CONFIG_PLATFORM & PLATFORM_ANDROID)
 369     notification_init();
 370 #endif
 371     lang_init(core_language_builtin, language_strings,
 372               LANG_LAST_INDEX_IN_ARRAY);
 373 #ifdef DEBUG
 374     debug_init();
 375 #endif
 376     /* Keep the order of this 3 (viewportmanager handles statusbars)
 377      * Must be done before any code uses the multi-screen API */
 378     gui_syncstatusbar_init(&statusbars);
 379     gui_sync_skin_init();
 380     sb_skin_init();
 381     viewportmanager_init();
 382
 383     storage_init();
 384     settings_reset();
 385     settings_load(SETTINGS_ALL);
 386     settings_apply(true);
 387     init_dircache(true);
 388     init_dircache(false);
 389 #ifdef HAVE_TAGCACHE
 390     init_tagcache();
 391 #endif
 392     sleep(HZ/2);
 393     tree_mem_init();
 394     filetype_init();
 395     playlist_init();
 396     shortcuts_init();
 397
 398 #if CONFIG_CODEC != SWCODEC
 399     mp3_init( global_settings.volume,
 400               global_settings.bass,
 401               global_settings.treble,
 402               global_settings.balance,
 403               global_settings.loudness,
 404               global_settings.avc,
 405               global_settings.channel_config,
 406               global_settings.stereo_width,
 407               global_settings.mdb_strength,
 408               global_settings.mdb_harmonics,
 409               global_settings.mdb_center,
 410               global_settings.mdb_shape,
 411               global_settings.mdb_enable,
 412               global_settings.superbass);
 413 #endif /* CONFIG_CODEC != SWCODEC */
 414
 415     scrobbler_init();
 416
 417     audio_init();
 418
 419 #if (CONFIG_CODEC == SWCODEC) && defined(HAVE_RECORDING)
 420     pcm_rec_init();
 421 #endif
 422
 423     settings_apply_skins();
 424 }
 425
 426 #else
 427
 428 static void init(void) INIT_ATTR;
 429 static void init(void)
 430 {
 431     int rc;
 432     bool mounted = false;
 433 #if CONFIG_CHARGING && (CONFIG_CPU == SH7034)
 434     /* if nobody initialized ATA before, I consider this a cold start */
 435     bool coldstart = (PACR2 & 0x4000) != 0; /* starting from Flash */
 436 #endif
 437
 438     system_init();
 439     core_allocator_init();
 440     kernel_init();
 441
 442 #ifdef HAVE_ADJUSTABLE_CPU_FREQ
 443     set_cpu_frequency(CPUFREQ_NORMAL);
 444 #ifdef CPU_COLDFIRE
 445     coldfire_set_pllcr_audio_bits(DEFAULT_PLLCR_AUDIO_BITS);
 446 #endif
 447     cpu_boost(true);
 448 #endif
 449
 450     i2c_init();
 451
 452     power_init();
 453
 454     enable_irq();
 455 #ifdef CPU_ARM
 456     enable_fiq();
 457 #endif
 458     /* current_tick should be ticking by now */
 459     CHART("ticking");
 460
 461     lcd_init();
 462 #ifdef HAVE_REMOTE_LCD
 463     lcd_remote_init();
 464 #endif
 465 #ifdef HAVE_LCD_BITMAP
 466     FOR_NB_SCREENS(i)
 467         global_status.font_id[i] = FONT_SYSFIXED;
 468     font_init();
 469 #endif
 470
 471     settings_reset();
 472
 473     CHART(">show_logo");
 474     show_logo();
 475     CHART("<show_logo");
 476     lang_init(core_language_builtin, language_strings,
 477               LANG_LAST_INDEX_IN_ARRAY);
 478
 479 #ifdef DEBUG
 480     debug_init();
 481 #else
 482 #ifdef HAVE_SERIAL
 483     serial_setup();
 484 #endif
 485 #endif
 486
 487 #if CONFIG_RTC
 488     rtc_init();
 489 #endif
 490 #ifdef HAVE_RTC_RAM
 491     CHART(">settings_load(RTC)");
 492     settings_load(SETTINGS_RTC); /* early load parts of global_settings */
 493     CHART("<settings_load(RTC)");
 494 #endif
 495
 496     adc_init();
 497
 498     usb_init();
 499 #if CONFIG_USBOTG == USBOTG_ISP1362
 500     isp1362_init();
 501 #elif CONFIG_USBOTG == USBOTG_M5636
 502     m5636_init();
 503 #endif
 504
 505     backlight_init();
 506
 507     button_init();
 508
 509     powermgmt_init();
 510
 511 #if CONFIG_TUNER
 512     radio_init();
 513 #endif
 514
 515 #ifdef HAVE_HARDWARE_CLICK
 516     piezo_init();
 517 #endif
 518
 519     /* Keep the order of this 3 (viewportmanager handles statusbars)
 520      * Must be done before any code uses the multi-screen API */
 521     CHART(">gui_syncstatusbar_init");
 522     gui_syncstatusbar_init(&statusbars);
 523     CHART("<gui_syncstatusbar_init");
 524     CHART(">sb_skin_init");
 525     sb_skin_init();
 526     CHART("<sb_skin_init");
 527     CHART(">gui_sync_wps_init");
 528     gui_sync_skin_init();
 529     CHART("<gui_sync_wps_init");
 530     CHART(">viewportmanager_init");
 531     viewportmanager_init();
 532     CHART("<viewportmanager_init");
 533
 534 #if CONFIG_CHARGING && (CONFIG_CPU == SH7034)
 535     /* charger_inserted() can't be used here because power_thread()
 536        hasn't checked power_input_status() yet */
 537     if (coldstart && (power_input_status() & POWER_INPUT_MAIN_CHARGER)
 538         && !global_settings.car_adapter_mode
 539 #ifdef ATA_POWER_PLAYERSTYLE
 540         && !ide_powered() /* relies on probing result from bootloader */
 541 #endif
 542         )
 543     {
 544         rc = charging_screen(); /* display a "charging" screen */
 545         if (rc == 1)            /* charger removed */
 546             power_off();
 547         /* "On" pressed or USB connected: proceed */
 548         show_logo();  /* again, to provide better visual feedback */
 549     }
 550 #endif
 551
 552
 553     disk_init_subsystem();
 554     CHART(">storage_init");
 555     rc = storage_init();
 556     CHART("<storage_init");
 557     if(rc)
 558     {
 559 #ifdef HAVE_LCD_BITMAP
 560         lcd_clear_display();
 561         lcd_putsf(0, 1, "ATA error: %d", rc);
 562         lcd_puts(0, 3, "Press ON to debug");
 563         lcd_update();
 564         while(!(button_get(true) & BUTTON_REL)); /* DO NOT CHANGE TO ACTION SYSTEM */
 565         dbg_ports();
 566 #endif
 567         panicf("ata: %d", rc);
 568     }
 569
 570 #ifdef HAVE_EEPROM_SETTINGS
 571     CHART(">eeprom_settings_init");
 572     eeprom_settings_init();
 573     CHART("<eeprom_settings_init");
 574 #endif
 575
 576 #ifndef HAVE_USBSTACK
 577     usb_start_monitoring();
 578     while (usb_detect() == USB_INSERTED)
 579     {
 580 #ifdef HAVE_EEPROM_SETTINGS
 581         firmware_settings.disk_clean = false;
 582 #endif
 583         /* enter USB mode early, before trying to mount */
 584         if (button_get_w_tmo(HZ/10) == SYS_USB_CONNECTED)
 585 #if (CONFIG_STORAGE & STORAGE_MMC)
 586             if (!mmc_touched() ||
 587                 (mmc_remove_request() == SYS_HOTSWAP_EXTRACTED))
 588 #endif
 589             {
 590                 gui_usb_screen_run(true);
 591                 mounted = true; /* mounting done @ end of USB mode */
 592             }
 593 #ifdef HAVE_USB_POWER
 594         if (usb_powered())      /* avoid deadlock */
 595             break;
 596 #endif
 597     }
 598 #endif
 599
 600     if (!mounted)
 601     {
 602         CHART(">disk_mount_all");
 603         rc = disk_mount_all();
 604         CHART("<disk_mount_all");
 605         if (rc<=0)
 606         {
 607             lcd_clear_display();
 608             lcd_puts(0, 0, "No partition");
 609             lcd_puts(0, 1, "found.");
 610 #ifdef HAVE_LCD_BITMAP
 611             lcd_puts(0, 2, "Insert USB cable");
 612             lcd_puts(0, 3, "and fix it.");
 613 #endif
 614             lcd_update();
 615
 616             while(button_get(true) != SYS_USB_CONNECTED) {};
 617             gui_usb_screen_run(true);
 618             system_reboot();
 619         }
 620     }
 621
 622 #if defined(SETTINGS_RESET) || (CONFIG_KEYPAD == IPOD_4G_PAD) || \
 623     (CONFIG_KEYPAD == IRIVER_H10_PAD)
 624 #ifdef SETTINGS_RESET
 625     /* Reset settings if holding the reset button. (Rec on Archos,
 626        A on Gigabeat) */
 627     if ((button_status() & SETTINGS_RESET) == SETTINGS_RESET)
 628 #else
 629     /* Reset settings if the hold button is turned on */
 630     if (button_hold())
 631 #endif
 632     {
 633         splash(HZ*2, str(LANG_RESET_DONE_CLEAR));
 634         settings_reset();
 635     }
 636     else
 637 #endif
 638     {
 639         CHART(">settings_load(ALL)");
 640         settings_load(SETTINGS_ALL);
 641         CHART("<settings_load(ALL)");
 642     }
 643
 644     CHART(">init_dircache(true)");
 645     rc = init_dircache(true);
 646     CHART("<init_dircache(true)");
 647     if (rc < 0)
 648     {
 649 #ifdef HAVE_TAGCACHE
 650         remove(TAGCACHE_STATEFILE);
 651 #endif
 652     }
 653
 654     CHART(">settings_apply(true)");
 655     settings_apply(true);
 656     CHART("<settings_apply(true)");
 657     CHART(">init_dircache(false)");
 658     init_dircache(false);
 659     CHART("<init_dircache(false)");
 660 #ifdef HAVE_TAGCACHE
 661     CHART(">init_tagcache");
 662     init_tagcache();
 663     CHART("<init_tagcache");
 664 #endif
 665
 666 #ifdef HAVE_EEPROM_SETTINGS
 667     if (firmware_settings.initialized)
 668     {
 669         /* In case we crash. */
 670         firmware_settings.disk_clean = false;
 671         CHART(">eeprom_settings_store");
 672         eeprom_settings_store();
 673         CHART("<eeprom_settings_store");
 674     }
 675 #endif
 676     playlist_init();
 677     tree_mem_init();
 678     filetype_init();
 679     scrobbler_init();
 680     shortcuts_init();
 681
 682 #if CONFIG_CODEC != SWCODEC
 683     /* No buffer allocation (see buffer.c) may take place after the call to
 684        audio_init() since the mpeg thread takes the rest of the buffer space */
 685     mp3_init( global_settings.volume,
 686               global_settings.bass,
 687               global_settings.treble,
 688               global_settings.balance,
 689               global_settings.loudness,
 690               global_settings.avc,
 691               global_settings.channel_config,
 692               global_settings.stereo_width,
 693               global_settings.mdb_strength,
 694               global_settings.mdb_harmonics,
 695               global_settings.mdb_center,
 696               global_settings.mdb_shape,
 697               global_settings.mdb_enable,
 698               global_settings.superbass);
 699 #endif /* CONFIG_CODEC != SWCODEC */
 700
 701     CHART(">audio_init");
 702     audio_init();
 703     CHART("<audio_init");
 704
 705 #if (CONFIG_CODEC == SWCODEC) && defined(HAVE_RECORDING)
 706     pcm_rec_init();
 707 #endif
 708
 709     /* runtime database has to be initialized after audio_init() */
 710     cpu_boost(false);
 711
 712 #if CONFIG_CHARGING
 713     car_adapter_mode_init();
 714 #endif
 715 #ifdef IPOD_ACCESSORY_PROTOCOL
 716     iap_setup(global_settings.serial_bitrate);
 717 #endif
 718 #ifdef HAVE_ACCESSORY_SUPPLY
 719     accessory_supply_set(global_settings.accessory_supply);
 720 #endif
 721 #ifdef HAVE_LINEOUT_POWEROFF
 722     lineout_set(global_settings.lineout_active);
 723 #endif
 724 #ifdef HAVE_HOTSWAP_STORAGE_AS_MAIN
 725     CHART("<check_bootfile(false)");
 726     check_bootfile(false); /* remember write time and filesize */
 727     CHART(">check_bootfile(false)");
 728 #endif
 729     CHART("<settings_apply_skins");
 730     settings_apply_skins();
 731     CHART(">settings_apply_skins");
 732 }
 733
 734 #ifdef CPU_PP
 735 void cop_main(void) MAIN_NORETURN_ATTR;
 736 void cop_main(void)
 737 {
 738 /* This is the entry point for the coprocessor
 739    Anyone not running an upgraded bootloader will never reach this point,
 740    so it should not be assumed that the coprocessor be usable even on
 741    platforms which support it.
 742
 743    A kernel thread is initially setup on the coprocessor and immediately
 744    destroyed for purposes of continuity. The cop sits idle until at least
 745    one thread exists on it. */
 746
 747 #if NUM_CORES > 1
 748     system_init();
 749     kernel_init();
 750     /* This should never be reached */
 751 #endif
 752     while(1) {
 753         sleep_core(COP);
 754     }
 755 }
 756 #endif /* CPU_PP */
 757
 758 #endif /* SIMULATOR */