RasPi Pico Data Logging Project

I am in immediate need of an embedded software engineer with experience in RaspberryPi Pico programming. The task involves setting up the Programmable I/Os (PIOs) of a Raspberry Pi Pico to route a C-Style string of type char* to an microSD card through the SPI1 peripheral.

Key Requirements:
- Configure PIOs to send char* to SD card
- Must have a strong background in embedded systems programming

Desirable Skills:
- Raspberry Pi Pico programming experience
- Proficient in C programming
- Familiarity with SPI communication

Ensure the following:
• The data should be written every one second. If writing the string takes more than one second, this should be indicated by an error flag.
• The used PIO should get the address of the string in an init() function during initialization.
• Core0 should not be used except during initialization. Core1 should not be used at all. The PIO should independently load the data of the string from memory every 1 second, transfer it into the SPI TX FIFO buffer, and write it to the SD card.
• During intialization, create two files on the SD card; a data file and an error file.
• In normal mode, the data should be written to the data file.
• In error mode (indicated by error flag), the data should be written to the error file.

The turnaround time for this task is ASAP, make sure your proposal reflects a rapid yet effective solution. Looking forward to your quick responses!