What size are the beds in Trinity Hall? (TCD dorm rooms)?

I'm doing some early bedthing shopping for my move to Dublin in the Fall. I can't find anywhere online the dimensions of the beds in Trinity Hall. Probably a long-shot but guesses are good too! If anyone has any guidance on USA vs. UK/Ireland linen sizes I would really appreciate it!
2 answers 2