64 Bit Linux status?

[Hans Henry von Tresckow]

Hello,
I am just getting started with openmodelica and I was wondering what
the current state of x86_64 support was?

Thank you very much,

-- 
Henry von Tresckow (hvontres)