On 06/18/2014 02:28 PM, Lukasz Sokol wrote:
I *think* what I pasted means, from 3.15 onwards...
maybe someone has a debian repository with such kernel (but I think it'll
require debian sid, i.e. unstable...)
see if any of bit.ly/1l2AyWt may be of any help ?
(long form link :
https://www.google.co.uk/search?q=debian+repository+mainline+kernel&ie=utf-8&oe=utf-8&aq=t&rls=org.mozilla:en-US:official&client=firefox-a&channel=fflb&gfe_rd=cr&ei=CIWhU_X8B4bN5Aao_YGgCA)
Great !
I'll take a look ASAP.
I installed the 64 bit fpc in the 64 bit Debian and could check the
vDSO. See my other mail.
-Michael
--
_______________________________________________
Lazarus mailing list
Lazarus@lists.lazarus.freepascal.org
http://lists.lazarus.freepascal.org/mailman/listinfo/lazarus