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