GSoC2024 Contributor Introduction: RPI4 BSP

[Ning Yang]

Hello everyone,

I'm Ning Yang. I am a first-year master¡¯s student at Yanshan University in 
China, and I am majoring in Computer Technology. My research chiefly focuses 
on RTEMS. I will continue to focus on RTEMS in the next two years.

My project is Adding SPI, Watchdog and SD card support to Raspberry Pi 4B BSP. 
Mentor is Kinsey Moore and Utkarsh Verma.

This project intends to add the following support to the RPi4B BSP: SPI 
support, Watchdog support and SD card support.
<https://docs.google.com/document/d/1NjlUSWhqwUvrsQPBISU05ah0I0IGkEuq6BIThrkMBsg/edit?usp=sharing>

Looking forward to working together!

Best regards,
Ning Yang