solo2 microcontroller

[salika1]

1. Does Solo2 use the NXP LPC55S69 microcontroller, or does it use STM32 microcontrollers?
2. The GitHub documentation references LPC55; does this mean that the final Solo2 product uses the LPC55S69 microcontroller (with ARM Cortex-M33 architecture and dual-core features)?
   2.1. What exactly is the role of LPC55? Is it used in the product? Or is it only for compilation?
3. If possible, could you please provide more information on how secure and non-secure tasks are separated within this microcontroller?
4. Additionally, is there any documentation available for Solo2?
   Thank you in advance for your assistance.

[Weissnix4711]

1. LPC
2. Yes. See https://github.com/solokeys/solo2-hw
3. Idk, either try your look reading through the codebase or ask the people maintaining trussed
4. This repo, and solo2-hw. That's about it.