Is the source code for the SoftDevices available anywhere?
No .
The SoftDevice is not open source
Is the softdevice certified by any 3rd parties for infosec?