WiFi: restructure fw partitions

The firmware will be copied in both the /wlan filesystem and as raw address 0xF80000 (to be added as offset to QSPI base address 0x90000000)

Author: facchinm

libraries/WiFi/examples/PortentaWiFiFirmwareUpdater/PortentaWiFiFirmwareUpdater.ino

@@ -6,7 +6,6 @@
 
 QSPIFBlockDevice root(PD_11, PD_12, PF_7, PD_13,  PF_10, PG_6, QSPIF_POLARITY_MODE_1, 40000000);
 mbed::MBRBlockDevice wifi_data(&root, 1);
-mbed::MBRBlockDevice other_data(&root, 2);
 mbed::FATFileSystem wifi_data_fs("wlan");
 mbed::FATFileSystem other_data_fs("fs");
 
@@ -23,8 +22,8 @@ void setup() {
   Serial.begin(115200);
   while (!Serial);
 
-  mbed::MBRBlockDevice::partition(&root, 1, 0x0B, 0, 1024 * 1024 * 8);
-  mbed::MBRBlockDevice::partition(&root, 2, 0x0B, 1024 * 1024 * 8, 2048 * 1024 * 8);
+  mbed::MBRBlockDevice::partition(&root, 1, 0x0B, 0, 1024 * 1024);
+  // use space from 15.5MB to 16 MB for another fw, memory mapped
 
   int err =  wifi_data_fs.mount(&wifi_data);
   if (err) {
@@ -34,14 +33,6 @@ void setup() {
     err = wifi_data_fs.reformat(&wifi_data);
   }
 
-  err =  other_data_fs.mount(&other_data);
-  if (err) {
-    // Reformat if we can't mount the filesystem
-    // this should only happen on the first boot
-    Serial.println("No filesystem found, formatting... ");
-    err = other_data_fs.reformat(&other_data);
-  }
-
   DIR *dir;
   struct dirent *ent;
 
@@ -75,6 +66,8 @@ void setup() {
   int ret = fwrite(wifi_firmware_image_data, 421098, 1, fp);
   fclose(fp);
 
+  root.program(wifi_firmware_image_data, 15 * 1024 * 1024 + 1024 * 512, 421098);
+
   fp = fopen("/wlan/cacert.pem", "wb");
   ret = fwrite(cacert_pem, cacert_pem_len, 1, fp);
   fclose(fp);
@@ -94,4 +87,4 @@ void setup() {
 
 void loop() {
 
-}
+}

libraries/WiFi/src/WiFi.cpp

@@ -289,7 +289,7 @@ mbed::FATFileSystem wifi_data_fs("wlan");
 bool firmware_available = false;
 
 extern "C" bool wiced_filesystem_mount() {
-  mbed::MBRBlockDevice::partition(&root, 1, 0x0B, 0, 1024 * 1024 * 8);
+  mbed::MBRBlockDevice::partition(&root, 1, 0x0B, 0, 1024 * 1024);
   int err =  wifi_data_fs.mount(&wifi_data);
   if (err) {
     Serial.println("Failed to mount filesystem");