supported microcontrollers

Hi, I am a student of electronics engineering. I would like
to know
about the microcontrollers that are supported with this port
of
openbsd. I am familiar with Atmel's microcontrollers.
Is this a form of RTOS which can be used with embedded
systems?
-Omkar.