5 files changed, 7 insertions, 7 deletions

diff --git a/firmware/target/arm/imx31/gigabeat-s/headphone-gigabeat-s.c b/firmware/target/arm/imx31/gigabeat-s/headphone-gigabeat-s.c
index 14bb534138..0f8cb67a9d 100644
--- a/firmware/target/arm/imx31/gigabeat-s/headphone-gigabeat-s.c
+++ b/firmware/target/arm/imx31/gigabeat-s/headphone-gigabeat-s.c
@@ -184,7 +184,7 @@ bool headphones_inserted(void)
     return headphones_detect;
 }
 
-void headphone_init(void)
+void INIT_ATTR headphone_init(void)
 {
     /* A thread is required to monitor the remote ADC and jack state. */
     wakeup_init(&headphone_wakeup);
diff --git a/firmware/target/arm/imx31/gigabeat-s/kernel-gigabeat-s.c b/firmware/target/arm/imx31/gigabeat-s/kernel-gigabeat-s.c
index bece976ab9..79f3eccc6b 100644
--- a/firmware/target/arm/imx31/gigabeat-s/kernel-gigabeat-s.c
+++ b/firmware/target/arm/imx31/gigabeat-s/kernel-gigabeat-s.c
@@ -37,7 +37,7 @@ static __attribute__((interrupt("IRQ"))) void EPIT1_HANDLER(void)
     call_tick_tasks();
 }
 
-void tick_start(unsigned int interval_in_ms)
+void INIT_ATTR tick_start(unsigned int interval_in_ms)
 {
     ccm_module_clock_gating(CG_EPIT1, CGM_ON_RUN_WAIT); /* EPIT1 module
                                                clock ON - before writing
@@ -65,7 +65,7 @@ void tick_start(unsigned int interval_in_ms)
     EPITCR1 |= EPITCR_EN;        /* Enable the counter */
 }
 
-void kernel_device_init(void)
+void INIT_ATTR kernel_device_init(void)
 {
     sdma_init();
     spi_init();
diff --git a/firmware/target/arm/imx31/gigabeat-s/lcd-gigabeat-s.c b/firmware/target/arm/imx31/gigabeat-s/lcd-gigabeat-s.c
index d567de8dbb..cadd0e7ae8 100644
--- a/firmware/target/arm/imx31/gigabeat-s/lcd-gigabeat-s.c
+++ b/firmware/target/arm/imx31/gigabeat-s/lcd-gigabeat-s.c
@@ -147,7 +147,7 @@ static void lcd_set_power(bool powered)
 }
 
 /* LCD init */
-void lcd_init_device(void)
+void INIT_ATTR lcd_init_device(void)
 {
     /* Move the framebuffer */
 #ifdef BOOTLOADER
diff --git a/firmware/target/arm/imx31/gigabeat-s/powermgmt-gigabeat-s.c b/firmware/target/arm/imx31/gigabeat-s/powermgmt-gigabeat-s.c
index dc00b1ede6..06ea280067 100644
--- a/firmware/target/arm/imx31/gigabeat-s/powermgmt-gigabeat-s.c
+++ b/firmware/target/arm/imx31/gigabeat-s/powermgmt-gigabeat-s.c
@@ -606,7 +606,7 @@ static bool charging_ok(void)
     return ok;
 }
 
-void powermgmt_init_target(void)
+void INIT_ATTR powermgmt_init_target(void)
 {
     last_inputs = power_thread_inputs;
 
diff --git a/firmware/target/arm/imx31/gigabeat-s/system-gigabeat-s.c b/firmware/target/arm/imx31/gigabeat-s/system-gigabeat-s.c
index 7c0d30c783..80b6f22397 100644
--- a/firmware/target/arm/imx31/gigabeat-s/system-gigabeat-s.c
+++ b/firmware/target/arm/imx31/gigabeat-s/system-gigabeat-s.c
@@ -48,7 +48,7 @@ unsigned int iim_prod_rev(void)
     return product_rev;
 }
 
-static void iim_init(void)
+static void INIT_ATTR iim_init(void)
 {
     /* Initialize the IC revision info (required by SDMA) */
     ccm_module_clock_gating(CG_IIM, CGM_ON_RUN_WAIT);
@@ -136,7 +136,7 @@ void system_exception_wait(void)
     system_halt();
 }
 
-void system_init(void)
+void INIT_ATTR system_init(void)
 {
     static const int disable_clocks[] =
     {