I'm trying to add support for Raspberry Pi Pico for the ArduinoCore-zephyr but I'm running into an issue where I don't see the Pico under the Board Manager. I'm not sure if the symlink is working properly.

The steps that I followed:

1. Install Arduino IDE 2 and Arduino Zephyr Boards
2. Skip Burn Bootloader since it's not needed for Pico
3. Clone the repository to ~/zephyr_arduino folder
4. Install pre-requirements
5. Ran the bootstrap script inside the ~/zephyr_arduino/ArduionCore-zephyr folder
6. Symlink the core to ~/Arduino/hardware/arduino-git/zephyr where ~/Arduino is the location of the sketch.
7. Added a rpi_pico folder under the variant folder with overlay and config file
8. Rename code_partition to user_sketch in ~/zephyr_arduino/zephyr/boards/raspberrypi/rpi_pico/rpi_pico-common.dtsi

• Note: If you don't do Step 9 then you run into an issue with building the loader

11. Build the loader: ./extra/build.sh rpi_pico
12. Updated the board.txt

• Note: Adding rpi_pico.name = Raspberry Pi Pico doesn't update the board manager to include the pico at all unless I update the board.txt from ~/.arduino15/packages/arduino/hardware/zephyr/0.3.1/boards.txt which shouldn't be happening