Hi, I found this and it worked for me (somewhat): https://www.reddit.com/r/ps3homebrew/wiki/otheros
First, it would boot petitboot and the option to boot the cd didn't show.
Then I told it to boot gameos and restarted the ps3 to try again and now petitboot just leads to "no signal" on the TV...