Want to catch up on everything from #kr2025? Check out Anisse Astier live blog — an amazing job capturing all the talks and key takeaways!
kernel-recipes.org/en/2025/live...
They’re finally ready! The #kr2025 videos are now online and waiting for you to watch. You’ll also find the presentation slides we’ve received so far.
Enjoy!
Slides and videos: kernel-recipes.org/en/2025/sche...
Watch all the videos : www.youtube.com/playlist?lis...
All videos and slides will be published soon. Stay tuned!
#kr2025
Decidability Proven for Linear Multi‑Headed Restricted Chase
Decidability of restricted chase termination for linear multi‑headed rules was proved, resolving an open question; the result appears in a KR 2025 technical report. Read more: getnews.me/decidability-proven-for-... #restrictedchase #linearrules #kr2025
We will be making the conference photos available. If you would like to share yours, you can make them available to us—just leave us a message (here or by email) and we will send you a link.
#kr2025
This week I once again had a great time at @KernelRecipes ! Thanks a lot for inviting me, and for organizing such a nice conference! (and also for all the nice speaker and attendee gifts :)
Also glad we increased the SUSE presence from just me last year to 4 people this year! (which […]
It was a great honor to speak at @kernelrecipes.bsky.social again this year. This conference is always a rich source of inspiration, I'm going back home full of new ideas... and lots of work to do. :)
To all kernel folk: don't miss it next year! #kr2025
#kr2025 is already over! A huge thank you…
... to all the speakers who made this edition such a success,
to our godfather Paul McKenney who did an incredible job putting together and keeping track of the agenda,
#KR2025 C'est fini. Vous pouvez retrouver une activité normale. Bonsoir.
#KR2025 Pour l'utilisateur, voici l'API pour gérer la mémoire :
#KR2025 Bon, ça, c'est l'architecture dans le KMD :
This guy is dangerous... #kr2025
#KR2025 "une "fence" (barrière en français) fait référence à un mécanisme de synchronisation utilisé pour coordonner l'exécution de différentes tâches ou commandes dans un pipeline graphique."
Merci Pr. Lialinux.
#KR2025 (pas compris ce qu'était le "fence" dans son contexte)
#KR2025 Un GPU, c'est rapide. Tu vois une hyène ? bah c'est plus rapide; tu vois un guéparrd ? bah c'est plus rapide. Tu vois superman ? bah voila.
Et derrière, t'as son pote le CPU, c'est le gars qui décide de faire une petite course avec toi alors qu'il est à la bière et saucisson, canap.
Already the last talk of this #kr2025 edition
How to tame a Panthor - Boris Brezillon
kernel-recipes.org/en/2025/sche...
#kr2025
#KR2025 Chaque petit lutin va vers sa pipeline :
#KR2025 La conférence est présenté par l'auteur de Panthor/Panvk, et avant c'était un contributeur aux drivers Panfrost.
#KR2025 C'est la dernière conférence ! "How to tame a Panthor" de Boris BREZILLON (Collabora)
Ça va parler GPU !
fr.linuxadictos.com/Contr%C3%B4l...
#KR2025 et voila que ça compare leurs tailles ! #SizeDoesMatter
#KR2025 par contre, il y a des limitations... un peu..
#KR2025 vous les aurez dans /usr/src/linux*/tools/include/nolibc/
nolibc: a userspace libc in the kernel tree - Thomas WEISSSCHUH
Introduction by Willy Tarreau first developer of it
github.com/wtarreau/nol...
lwn.net/Articles/920...
#kr2025
#KR2025 Un exemple de compilation :