Zephyr already supports raspberry pico. Add corresponding support.

[arturohernandez10]

I have a feeling that zephyr support would be an awesome addition to this board. Particularly since there are so many devices available in zephyr. And it seems to me that the pico being more of a raw power device would greatly benefit from those devices.

Plus I've seen claims that zephyr, resembles linux development.

[nametable]

What would it take to add this support? Could anyone explain what might be involved? I might have the desire to try to implement support if its pretty simple.