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

Reply via email to