Linking to Cordio and Studio

Author: iriark01

docs/porting/porting_full_process/porting.md

@@ -191,7 +191,7 @@ Mbed OS uses CMSIS for bootstrap. If your target doesn't have a CMSIS implementa
    C:\Keil_v5\ARM\PACK\ARM\CMSIS\5.3.0\Device\_Template_Vendor\Vendor\Device\Source
    C:\Keil_v5\ARM\PACK\ARM\CMSIS\5.3.0\Device\_Template_Vendor\Vendor\Device\Include
    ```
-   
+
 1. Create linker scripts from the templates.
 
 1. Implement pin mapping and basic peripheral initialization code.
@@ -300,4 +300,4 @@ You do not need to manually port Device Management Client; when the above module
 
 ### Other HAL modules (Optional)
 
-You are now ready to port any other HAL modules that your use case and MCU require. These modules are covered in the rest of this document.
+You are now ready to port any other HAL modules that your use case and MCU require. These modules are covered in the rest of this document, with the exception of [Mbed Cordio, which has its own porting documentation](https://os.mbed.com/docs/mbed-cordio/latest/porting-pal/index.html).