Add extension info and always build with symbols

Author: tannewt

ports/renode/Makefile

@@ -36,24 +36,7 @@ INC += \
         -isystem ./../../lib/cmsis/inc \
         -I$(BUILD)
 
-OPTIMIZATION_FLAGS ?= -O3
-# option to override default optimization level, set in boards/$(BOARD)/mpconfigboard.mk
-CFLAGS += $(OPTIMIZATION_FLAGS)
-
-# flags specific to wifi / cyw43
-#Debugging/Optimization
-ifeq ($(DEBUG), 1)
-  CFLAGS += -ggdb3 -O3
-  # No LTO because we may place some functions in RAM instead of flash.
-else
-  CFLAGS += -DNDEBUG
-
-  # No LTO because we may place some functions in RAM instead of flash.
-
-  ifdef CFLAGS_BOARD
-    CFLAGS += $(CFLAGS_BOARD)
-  endif
-endif
+CFLAGS += -ggdb3 -Os
 
 DISABLE_WARNINGS = -Wno-cast-align
 CFLAGS += $(INC) -Wall -Werror -std=gnu11 -fshort-enums $(BASE_CFLAGS) $(CFLAGS_MOD) $(COPT) $(DISABLE_WARNINGS) -Werror=missing-prototypes
@@ -65,7 +48,7 @@ CFLAGS += \
 	-mcpu=cortex-m0plus \
 	-msoft-float \
 	-mfloat-abi=soft \
-  --specs=nano.specs
+	--specs=nano.specs
 
 # Use toolchain libm if we're not using our own.
 ifndef INTERNAL_LIBM

ports/renode/mpconfigport.mk

@@ -1,6 +1,10 @@
 LONGINT_IMPL = MPZ
 INTERNAL_LIBM = 1
 
+# We build .elf files to run in the simulator. Generally, this will be a file
+# type supported by the chip family's bootloader.
+CIRCUITPY_BUILD_EXTENSIONS = elf
+
 # The port manages flash itself instead of using SPI flash via busio.SPI.
 INTERNAL_FLASH_FILESYSTEM = 1