NUCLEO-STM32H8SL38 board support?

[Peter Barada]

Is STM32H7SL38 supported in Nuttx?  I have a couple NUCLEO-H7S3L8 boards 
kicking around I'd love to bring up Nuttx on but don't see that board 
listed by configure.sh.

If that board not (directly) supported, what board configuration would 
be the best to start a NUCLEO-H7S3L8 port from?  I'd guessing one of 
those in boards/arm/stm32h7 but hoping someone can whittle that down a bit.

Thanks in advance!

--
Peter Barada
peter.bar...@gmail.com