Just standard dried red chillies. Medium hot. I sometimes buy the Thai Red Curry kits from Aldi, which has them in.
Some people suggest dried chillies aren't supposed to be eaten: they're just in for flavour. Personally, I quite like to eat them, though.