From what I remember when I last had my display board out, it is generated by a SMPS on there. It was some Maxim chip was wired to step up 12V to around 60V.