![](https://secure.gravatar.com/avatar/6114858d84b0f40cf715f12237ab67a1.jpg?s=120&d=mm&r=g)
1 Nov
2009
1 Nov
'09
1:45 p.m.
Vnpenguin, what kernel is running on your OS? If we set up a virtual machine for compiling binaries - does anyone have a suggesting what OS to take, so that it will remain compatible with as many x86_64 processors as possible? (Apparently glibc and kerner are the deciding factors; but it needs to have support for 64-bit machines that are not as old as it seems after all.) Reinhard - what linux are you using for TL? Mojca