Disable the kernel in all the "empty" preset templates.
authorarighi <arighi@38d2e660-2303-0410-9eaa-f027e97ec537>
Tue, 25 May 2010 15:50:09 +0000 (15:50 +0000)
committerarighi <arighi@38d2e660-2303-0410-9eaa-f027e97ec537>
Tue, 25 May 2010 15:50:09 +0000 (15:50 +0000)
git-svn-id: https://src.develer.com/svnoss/bertos/trunk@3827 38d2e660-2303-0410-9eaa-f027e97ec537

33 files changed:
boards/arduino/templates/empty/cfg/cfg_proc.h
boards/arduino/templates/empty/cfg/cfg_signal.h
boards/arduino/templates/empty/main.c
boards/arduino/templates/empty/project.bertos
boards/at91sam7s-ek/templates/empty/cfg/cfg_proc.h
boards/at91sam7s-ek/templates/empty/cfg/cfg_sem.h
boards/at91sam7s-ek/templates/empty/cfg/cfg_signal.h
boards/at91sam7s-ek/templates/empty/main.c
boards/at91sam7s-ek/templates/empty/project.bertos
boards/at91sam7x-ek/templates/empty/cfg/cfg_proc.h
boards/at91sam7x-ek/templates/empty/cfg/cfg_signal.h
boards/at91sam7x-ek/templates/empty/main.c
boards/at91sam7x-ek/templates/empty/project.bertos
boards/ek-lm3s1968/templates/empty/cfg/cfg_proc.h
boards/ek-lm3s1968/templates/empty/cfg/cfg_sem.h
boards/ek-lm3s1968/templates/empty/cfg/cfg_signal.h
boards/ek-lm3s1968/templates/empty/main.c
boards/ek-lm3s1968/templates/empty/project.bertos
boards/lpc-p2378/templates/empty/cfg/cfg_proc.h
boards/lpc-p2378/templates/empty/cfg/cfg_sem.h
boards/lpc-p2378/templates/empty/cfg/cfg_signal.h
boards/lpc-p2378/templates/empty/main.c
boards/lpc-p2378/templates/empty/project.bertos
boards/stm32-p103/templates/empty/cfg/cfg_proc.h
boards/stm32-p103/templates/empty/cfg/cfg_sem.h
boards/stm32-p103/templates/empty/cfg/cfg_signal.h
boards/stm32-p103/templates/empty/main.c
boards/stm32-p103/templates/empty/project.bertos
boards/triface/templates/empty/cfg/cfg_proc.h
boards/triface/templates/empty/cfg/cfg_sem.h
boards/triface/templates/empty/cfg/cfg_signal.h
boards/triface/templates/empty/main.c
boards/triface/templates/empty/project.bertos

index dfa7ece0e4aad41ebe8059514bc84c4fa5d0283b..52b4e414a8a53ad1ef61a024a218e27fd3ea8e1f 100644 (file)
@@ -43,7 +43,7 @@
  *
  * $WIZ$ type = "autoenabled"
  */
-#define CONFIG_KERN 1
+#define CONFIG_KERN 0
 
 /**
  * Kernel interrupt supervisor. WARNING: Experimental, still incomplete!
index ed85119b76ac12953b3445437d3d32fbe20a83fe..e78a451958c5b8721bdc54cfbacde2c4a30d8201 100644 (file)
@@ -43,6 +43,6 @@
  * Inter-process signals.
  * $WIZ$ type = "autoenabled"
  */
-#define CONFIG_KERN_SIGNALS 1
+#define CONFIG_KERN_SIGNALS 0
 
 #endif /*  CFG_SIGNAL_H */
index 2bbaf0447b52c029b494235f77a512b396c964d5..1036c5cb6b95c100b1fd37e4c488bfd9eb90c589 100644 (file)
@@ -44,8 +44,6 @@
 #include <hw/hw_led.h>
 #include <drv/timer.h>
 #include <drv/ser.h>
-#include <kern/proc.h>
-#include <drv/ser.h>
 
 static Serial out;
 
@@ -64,12 +62,6 @@ static void init(void)
        ser_setbaudrate(&out, 115200);
        /* Initialize LED driver */
        LED_INIT();
-
-       /*
-        * Kernel initialization: processes (allow to create and dispatch
-        * processes using proc_new()).
-        */
-       proc_init();
 }
 
 int main(void)
index 80c22f4507c116775d81aed630cfccf13f854de6..3612dd1a6aa7168ab91ad814eba548201ea3b219 100644 (file)
@@ -46,36 +46,32 @@ p22
 (lp23
 S'ser'
 p24
-aS'kernel'
-p25
 aS'formatwr'
+p25
+aS'debug'
 p26
 aS'kfile'
 p27
 aS'heap'
 p28
-aS'signal'
-p29
 aS'timer'
-p30
-aS'debug'
-p31
+p29
 asS'CPU_NAME'
-p32
+p30
 VATmega328P
-p33
+p31
 sS'PROJECT_HW_PATH'
-p34
+p32
 S'../..'
-p35
+p33
 sS'PROJECT_SRC_PATH'
-p36
+p34
 S'.'
-p37
+p35
 sS'PRESET'
-p38
+p36
 I01
 sS'OUTPUT'
-p39
-(lp40
+p37
+(lp38
 s.
\ No newline at end of file
index 7e64c498702a9c255a0b23ba9daa0c661ae03aef..b2c3a965b314eb302ac01f7c8081337bff899db4 100644 (file)
@@ -43,7 +43,7 @@
  *
  * $WIZ$ type = "autoenabled"
  */
-#define CONFIG_KERN 1
+#define CONFIG_KERN 0
 
 /**
  * Kernel interrupt supervisor. WARNING: Experimental, still incomplete!
index 86ed110d143afb1e894f7ab81d8408a3c0e3acc2..2a6de7a910bf1d34a4cb7ec491dc81880a6973c7 100644 (file)
@@ -43,6 +43,6 @@
  * Re-entrant mutual exclusion primitives.
  * $WIZ$ type = "autoenabled"
  */
-#define CONFIG_KERN_SEMAPHORES  1
+#define CONFIG_KERN_SEMAPHORES  0
 
 #endif /*  CFG_SEM_H */
index ed85119b76ac12953b3445437d3d32fbe20a83fe..e78a451958c5b8721bdc54cfbacde2c4a30d8201 100644 (file)
@@ -43,6 +43,6 @@
  * Inter-process signals.
  * $WIZ$ type = "autoenabled"
  */
-#define CONFIG_KERN_SIGNALS 1
+#define CONFIG_KERN_SIGNALS 0
 
 #endif /*  CFG_SIGNAL_H */
index f5c8b3051f6e991c402da710b51136bf650f950d..0c8aefc4cf533ffa566b87e18c0fa0a729edf9ed 100644 (file)
@@ -43,7 +43,6 @@
 #include <hw/hw_led.h>
 #include <drv/timer.h>
 #include <drv/ser.h>
-#include <kern/proc.h>
 
 static Serial out;
 
@@ -62,12 +61,6 @@ static void init(void)
        ser_setbaudrate(&out, 115200);
        /* Initialize LED driver */
        LED_INIT();
-
-       /*
-        * Kernel initialization: processes (allow to create and dispatch
-        * processes using proc_new()).
-        */
-       proc_init();
 }
 
 int main(void)
index fd6d47a6a061d2dc3e5a08246508e13c742e0c67..3effa2de97503709b167114091defdd441c9e82c 100644 (file)
@@ -46,38 +46,32 @@ p22
 (lp23
 S'ser'
 p24
-aS'kernel'
+aS'formatwr'
 p25
-aS'semaphores'
+aS'kfile'
 p26
-aS'formatwr'
+aS'heap'
 p27
-aS'debug'
+aS'timer'
 p28
-aS'kfile'
+aS'debug'
 p29
-aS'heap'
-p30
-aS'signal'
-p31
-aS'timer'
-p32
 asS'CPU_NAME'
-p33
+p30
 VAT91SAM7S256
-p34
+p31
 sS'PROJECT_HW_PATH'
-p35
+p32
 S'../..'
-p36
+p33
 sS'PROJECT_SRC_PATH'
-p37
+p34
 S'.'
-p38
+p35
 sS'PRESET'
-p39
+p36
 I01
 sS'OUTPUT'
-p40
-(lp41
+p37
+(lp38
 s.
\ No newline at end of file
index 7e64c498702a9c255a0b23ba9daa0c661ae03aef..b2c3a965b314eb302ac01f7c8081337bff899db4 100644 (file)
@@ -43,7 +43,7 @@
  *
  * $WIZ$ type = "autoenabled"
  */
-#define CONFIG_KERN 1
+#define CONFIG_KERN 0
 
 /**
  * Kernel interrupt supervisor. WARNING: Experimental, still incomplete!
index ed85119b76ac12953b3445437d3d32fbe20a83fe..e78a451958c5b8721bdc54cfbacde2c4a30d8201 100644 (file)
@@ -43,6 +43,6 @@
  * Inter-process signals.
  * $WIZ$ type = "autoenabled"
  */
-#define CONFIG_KERN_SIGNALS 1
+#define CONFIG_KERN_SIGNALS 0
 
 #endif /*  CFG_SIGNAL_H */
index 2bbaf0447b52c029b494235f77a512b396c964d5..1036c5cb6b95c100b1fd37e4c488bfd9eb90c589 100644 (file)
@@ -44,8 +44,6 @@
 #include <hw/hw_led.h>
 #include <drv/timer.h>
 #include <drv/ser.h>
-#include <kern/proc.h>
-#include <drv/ser.h>
 
 static Serial out;
 
@@ -64,12 +62,6 @@ static void init(void)
        ser_setbaudrate(&out, 115200);
        /* Initialize LED driver */
        LED_INIT();
-
-       /*
-        * Kernel initialization: processes (allow to create and dispatch
-        * processes using proc_new()).
-        */
-       proc_init();
 }
 
 int main(void)
index ba9d59119f7712f73fc7c5d5f4507abbbbba9553..15fbc7fffa0ef047e5f7bee8a12428e6d8302da9 100644 (file)
@@ -46,36 +46,32 @@ p22
 (lp23
 S'ser'
 p24
-aS'kernel'
-p25
 aS'formatwr'
+p25
+aS'debug'
 p26
 aS'kfile'
 p27
 aS'heap'
 p28
-aS'signal'
-p29
 aS'timer'
-p30
-aS'debug'
-p31
+p29
 asS'CPU_NAME'
-p32
+p30
 VAT91SAM7X256
-p33
+p31
 sS'PROJECT_HW_PATH'
-p34
+p32
 S'../..'
-p35
+p33
 sS'PROJECT_SRC_PATH'
-p36
+p34
 S'.'
-p37
+p35
 sS'PRESET'
-p38
+p36
 I01
 sS'OUTPUT'
-p39
-(lp40
+p37
+(lp38
 s.
\ No newline at end of file
index 7e64c498702a9c255a0b23ba9daa0c661ae03aef..b2c3a965b314eb302ac01f7c8081337bff899db4 100644 (file)
@@ -43,7 +43,7 @@
  *
  * $WIZ$ type = "autoenabled"
  */
-#define CONFIG_KERN 1
+#define CONFIG_KERN 0
 
 /**
  * Kernel interrupt supervisor. WARNING: Experimental, still incomplete!
index 86ed110d143afb1e894f7ab81d8408a3c0e3acc2..2a6de7a910bf1d34a4cb7ec491dc81880a6973c7 100644 (file)
@@ -43,6 +43,6 @@
  * Re-entrant mutual exclusion primitives.
  * $WIZ$ type = "autoenabled"
  */
-#define CONFIG_KERN_SEMAPHORES  1
+#define CONFIG_KERN_SEMAPHORES  0
 
 #endif /*  CFG_SEM_H */
index ed85119b76ac12953b3445437d3d32fbe20a83fe..e78a451958c5b8721bdc54cfbacde2c4a30d8201 100644 (file)
@@ -43,6 +43,6 @@
  * Inter-process signals.
  * $WIZ$ type = "autoenabled"
  */
-#define CONFIG_KERN_SIGNALS 1
+#define CONFIG_KERN_SIGNALS 0
 
 #endif /*  CFG_SIGNAL_H */
index 659b51b5524aeee572c5f573888ab7331340e9ed..9ca44575ecd0c0b8a932ee5886c16efb96aff420 100644 (file)
@@ -43,7 +43,6 @@
 #include <hw/hw_led.h>
 #include <drv/timer.h>
 #include <drv/ser.h>
-#include <kern/proc.h>
 #include <drv/lcd_rit128x96.h>
 #include <drv/kbd.h>
 
@@ -77,12 +76,6 @@ static void init(void)
        rit128x96_blitBitmap(&lcd_bitmap);
        /* Initialize the keypad driver */
        kbd_init();
-
-       /*
-        * Kernel initialization: processes (allow to create and dispatch
-        * processes using proc_new()).
-        */
-       proc_init();
 }
 
 int main(void)
index 2fea40ab26924047ed7e243ce7658fb64ba51afb..9cace4d6a92e07b31c219b2d7c47e9989eebffde 100644 (file)
@@ -48,44 +48,38 @@ S'gfx'
 p24
 aS'ser'
 p25
-aS'kernel'
-p26
 aS'kbd'
+p26
+aS'formatwr'
 p27
-aS'semaphores'
+aS'kfile'
 p28
-aS'formatwr'
+aS'lcd_rit128x96'
 p29
-aS'debug'
+aS'heap'
 p30
-aS'kfile'
+aS'timer'
 p31
-aS'lcd_rit128x96'
+aS'debug'
 p32
-aS'heap'
-p33
-aS'signal'
-p34
-aS'timer'
-p35
 aS'lm3s_ssi'
-p36
+p33
 asS'CPU_NAME'
-p37
+p34
 VLM3S1968
-p38
+p35
 sS'PROJECT_HW_PATH'
-p39
+p36
 S'../..'
-p40
+p37
 sS'PROJECT_SRC_PATH'
-p41
+p38
 S'.'
-p42
+p39
 sS'PRESET'
-p43
+p40
 I01
 sS'OUTPUT'
-p44
-(lp45
+p41
+(lp42
 s.
\ No newline at end of file
index 7e64c498702a9c255a0b23ba9daa0c661ae03aef..b2c3a965b314eb302ac01f7c8081337bff899db4 100644 (file)
@@ -43,7 +43,7 @@
  *
  * $WIZ$ type = "autoenabled"
  */
-#define CONFIG_KERN 1
+#define CONFIG_KERN 0
 
 /**
  * Kernel interrupt supervisor. WARNING: Experimental, still incomplete!
index 86ed110d143afb1e894f7ab81d8408a3c0e3acc2..2a6de7a910bf1d34a4cb7ec491dc81880a6973c7 100644 (file)
@@ -43,6 +43,6 @@
  * Re-entrant mutual exclusion primitives.
  * $WIZ$ type = "autoenabled"
  */
-#define CONFIG_KERN_SEMAPHORES  1
+#define CONFIG_KERN_SEMAPHORES  0
 
 #endif /*  CFG_SEM_H */
index ed85119b76ac12953b3445437d3d32fbe20a83fe..e78a451958c5b8721bdc54cfbacde2c4a30d8201 100644 (file)
@@ -43,6 +43,6 @@
  * Inter-process signals.
  * $WIZ$ type = "autoenabled"
  */
-#define CONFIG_KERN_SIGNALS 1
+#define CONFIG_KERN_SIGNALS 0
 
 #endif /*  CFG_SIGNAL_H */
index 2bbaf0447b52c029b494235f77a512b396c964d5..1036c5cb6b95c100b1fd37e4c488bfd9eb90c589 100644 (file)
@@ -44,8 +44,6 @@
 #include <hw/hw_led.h>
 #include <drv/timer.h>
 #include <drv/ser.h>
-#include <kern/proc.h>
-#include <drv/ser.h>
 
 static Serial out;
 
@@ -64,12 +62,6 @@ static void init(void)
        ser_setbaudrate(&out, 115200);
        /* Initialize LED driver */
        LED_INIT();
-
-       /*
-        * Kernel initialization: processes (allow to create and dispatch
-        * processes using proc_new()).
-        */
-       proc_init();
 }
 
 int main(void)
index 8bb1899fd7c21939b679b275f6e54a5c2d8a29d7..beb71ade8d39832bba4692ff4ff59ec1d55c6584 100644 (file)
@@ -46,40 +46,32 @@ p22
 (lp23
 S'ser'
 p24
-aS'kernel'
-p25
 aS'formatwr'
+p25
+aS'debug'
 p26
-aS'msg'
-p27
-aS'semaphores'
-p28
 aS'kfile'
-p29
+p27
 aS'heap'
-p30
-aS'signal'
-p31
+p28
 aS'timer'
-p32
-aS'debug'
-p33
+p29
 asS'CPU_NAME'
-p34
+p30
 VLPC2378
-p35
+p31
 sS'PROJECT_HW_PATH'
-p36
+p32
 S'../..'
-p37
+p33
 sS'PROJECT_SRC_PATH'
-p38
+p34
 S'.'
-p39
+p35
 sS'PRESET'
-p40
+p36
 I01
 sS'OUTPUT'
-p41
-(lp42
+p37
+(lp38
 s.
\ No newline at end of file
index 7e64c498702a9c255a0b23ba9daa0c661ae03aef..b2c3a965b314eb302ac01f7c8081337bff899db4 100644 (file)
@@ -43,7 +43,7 @@
  *
  * $WIZ$ type = "autoenabled"
  */
-#define CONFIG_KERN 1
+#define CONFIG_KERN 0
 
 /**
  * Kernel interrupt supervisor. WARNING: Experimental, still incomplete!
index 86ed110d143afb1e894f7ab81d8408a3c0e3acc2..2a6de7a910bf1d34a4cb7ec491dc81880a6973c7 100644 (file)
@@ -43,6 +43,6 @@
  * Re-entrant mutual exclusion primitives.
  * $WIZ$ type = "autoenabled"
  */
-#define CONFIG_KERN_SEMAPHORES  1
+#define CONFIG_KERN_SEMAPHORES  0
 
 #endif /*  CFG_SEM_H */
index ed85119b76ac12953b3445437d3d32fbe20a83fe..e78a451958c5b8721bdc54cfbacde2c4a30d8201 100644 (file)
@@ -43,6 +43,6 @@
  * Inter-process signals.
  * $WIZ$ type = "autoenabled"
  */
-#define CONFIG_KERN_SIGNALS 1
+#define CONFIG_KERN_SIGNALS 0
 
 #endif /*  CFG_SIGNAL_H */
index 577a98a652e53419baf2bfa9fd86bf886c4c7f20..f40e46b084c1be3661896025ff2c19493dd516d0 100644 (file)
@@ -42,7 +42,6 @@
 #include <cpu/irq.h>
 #include <hw/hw_led.h>
 #include <drv/timer.h>
-#include <kern/proc.h>
 
 static void init(void)
 {
@@ -55,12 +54,6 @@ static void init(void)
        timer_init();
        /* Initialize LED driver */
        LED_INIT();
-
-       /*
-        * Kernel initialization: processes (allow to create and dispatch
-        * processes using proc_new()).
-        */
-       proc_init();
 }
 
 int main(void)
index 973613e13c929251432d234d49862461e1960705..d02a7a32e45ac5dd84f5996450af7e60ce9bbda4 100644 (file)
@@ -44,38 +44,32 @@ p21
 ssS'ENABLED_MODULES'
 p22
 (lp23
-S'kernel'
+S'formatwr'
 p24
-aS'formatwr'
-p25
-aS'semaphores'
-p26
 aS'kfile'
-p27
+p25
 aS'heap'
-p28
-aS'signal'
-p29
+p26
 aS'timer'
-p30
+p27
 aS'debug'
-p31
+p28
 asS'CPU_NAME'
-p32
+p29
 VSTM32P103
-p33
+p30
 sS'PROJECT_HW_PATH'
-p34
+p31
 S'../..'
-p35
+p32
 sS'PROJECT_SRC_PATH'
-p36
+p33
 S'.'
-p37
+p34
 sS'PRESET'
-p38
+p35
 I01
 sS'OUTPUT'
-p39
-(lp40
+p36
+(lp37
 s.
\ No newline at end of file
index dfa7ece0e4aad41ebe8059514bc84c4fa5d0283b..52b4e414a8a53ad1ef61a024a218e27fd3ea8e1f 100644 (file)
@@ -43,7 +43,7 @@
  *
  * $WIZ$ type = "autoenabled"
  */
-#define CONFIG_KERN 1
+#define CONFIG_KERN 0
 
 /**
  * Kernel interrupt supervisor. WARNING: Experimental, still incomplete!
index 86ed110d143afb1e894f7ab81d8408a3c0e3acc2..2a6de7a910bf1d34a4cb7ec491dc81880a6973c7 100644 (file)
@@ -43,6 +43,6 @@
  * Re-entrant mutual exclusion primitives.
  * $WIZ$ type = "autoenabled"
  */
-#define CONFIG_KERN_SEMAPHORES  1
+#define CONFIG_KERN_SEMAPHORES  0
 
 #endif /*  CFG_SEM_H */
index ed85119b76ac12953b3445437d3d32fbe20a83fe..e78a451958c5b8721bdc54cfbacde2c4a30d8201 100644 (file)
@@ -43,6 +43,6 @@
  * Inter-process signals.
  * $WIZ$ type = "autoenabled"
  */
-#define CONFIG_KERN_SIGNALS 1
+#define CONFIG_KERN_SIGNALS 0
 
 #endif /*  CFG_SIGNAL_H */
index 2bbaf0447b52c029b494235f77a512b396c964d5..1036c5cb6b95c100b1fd37e4c488bfd9eb90c589 100644 (file)
@@ -44,8 +44,6 @@
 #include <hw/hw_led.h>
 #include <drv/timer.h>
 #include <drv/ser.h>
-#include <kern/proc.h>
-#include <drv/ser.h>
 
 static Serial out;
 
@@ -64,12 +62,6 @@ static void init(void)
        ser_setbaudrate(&out, 115200);
        /* Initialize LED driver */
        LED_INIT();
-
-       /*
-        * Kernel initialization: processes (allow to create and dispatch
-        * processes using proc_new()).
-        */
-       proc_init();
 }
 
 int main(void)
index 1c3815cb2134e2c5f87bf862a1196d3932adf36b..68eb2f2869c750fed43c27616dd0c90a99224425 100644 (file)
@@ -46,40 +46,32 @@ p22
 (lp23
 S'ser'
 p24
-aS'kernel'
-p25
 aS'formatwr'
+p25
+aS'debug'
 p26
-aS'msg'
-p27
-aS'semaphores'
-p28
 aS'kfile'
-p29
+p27
 aS'heap'
-p30
-aS'signal'
-p31
+p28
 aS'timer'
-p32
-aS'debug'
-p33
+p29
 asS'CPU_NAME'
-p34
+p30
 VATmega1281
-p35
+p31
 sS'PROJECT_HW_PATH'
-p36
+p32
 S'../..'
-p37
+p33
 sS'PROJECT_SRC_PATH'
-p38
+p34
 S'.'
-p39
+p35
 sS'PRESET'
-p40
+p36
 I01
 sS'OUTPUT'
-p41
-(lp42
+p37
+(lp38
 s.
\ No newline at end of file