Its 15khz RGB. But I dont know if its TTL or not. I think not though. Should work with any RGB scan doubler too.
Note that the RGB output is only for the 80 column c128 mode. Not the C64 graphics modes as they are not RGB but Chroma/Luma
I use a 1084 on my c128.