2 files changed, 6 insertions, 3 deletions
diff --git a/demos/ARM7-AT91SAM7X-GCC/Makefile b/demos/ARM7-AT91SAM7X-GCC/Makefile
index fa6f56c8c..65a658661 100644
--- a/demos/ARM7-AT91SAM7X-GCC/Makefile
+++ b/demos/ARM7-AT91SAM7X-GCC/Makefile
@@ -125,10 +125,10 @@ AOPT =
 TOPT = -mthumb -DTHUMB
 
 # Define C warning options here
-CWARN = -Wall -Wstrict-prototypes
+CWARN = -Wall -Wextra -Wstrict-prototypes
 
 # Define C++ warning options here
-CPPWARN = -Wall
+CPPWARN = -Wall -Wextra
 
 #
 # Compiler settings
diff --git a/demos/ARM7-AT91SAM7X-GCC/main.c b/demos/ARM7-AT91SAM7X-GCC/main.c
index f6c297a41..36ae17fae 100644
--- a/demos/ARM7-AT91SAM7X-GCC/main.c
+++ b/demos/ARM7-AT91SAM7X-GCC/main.c
@@ -25,8 +25,9 @@
 #include "board.h"
 
 static WORKING_AREA(waThread1, 64);
-static msg_t Thread1(void *arg) {
+static msg_t Thread1(void *p) {
 
+  (void)p;
   while (TRUE) {
     palSetPad(IOPORT2, PIOB_LCD_BL);
     chThdSleepMilliseconds(100);
@@ -41,6 +42,8 @@ static msg_t Thread1(void *arg) {
  * on entry.
  */
 int main(int argc, char **argv) {
+  (void)argc;
+  (void)argv;
 
   /*
    * Activates the serial driver 1 using the driver default configuration.