Hi Shai,
I hope you are doing great.
please advise if there is an example code to add an SD card or can you guide us to implement an SD card?
Unfortunately, we do not provide any support with the SD Card. However, you could use the SPI or I2C example for a better reference for the customer implementation.
second thing, the customer wanted to know if PWM output can be set to be a logical 1 of V-REF/BIAS/BAND GAP (for example if the PWM can be at peak 2.5v)?
The PWM output could be 2.5V depending on the VDDE.
VDDE — Supply voltage for IO

Regards,
Mario