4. 12. 2018294 zhlédnutíUrl: http://vger.kernel.org/lpc-networking.htmlurl: https://linuxplumbersconf.org/event/2/contributions/91/speaker: David S. Miller (Red Hat)
18. 11. 2019920 zhlédnutíFormal verification made easy (and fast)!Speaker Daniel Bristot de Oliveira (Red Hat, Inc.)DescriptionLinux is complex, and formal verification has been gain...
18. 11. 2019338 zhlédnutíThere is a lot of similar and duplicated code in architecture specificbits of memory management.For instance, most architectures have#define Pgalloc_GFP (GFP...