+ global _PIC32MX_DATASIZE
+ global _WORKAREASIZE
+
+ # BMXCON set 0 wait state option by clearing BMXWSDRM bit, bit 6
+ mww 0xbf882000 0x001f0000
+ # BMXDKPBA: 2k kernel data @ 0xa0000000
+ mww 0xbf882010 $_PIC32MX_DATASIZE
+ # BMXDUDBA: 14k kernel program @ 0xa0000800 - (BMXDUDBA - BMXDKPBA)
+ mww 0xbf882020 $_WORKAREASIZE
+ # BMXDUPBA: 0k user program - (BMXDUPBA - BMXDUDBA)
+ mww 0xbf882030 $_WORKAREASIZE
+
+ #
+ # Set system clock to 8Mhz if the default clock configuration is set
+ #