„linux device drivers“

Suchergebnisse

6 Treffer

• Strategies for automated porting of Linux device drivers to Athomux
  Korth, Jens-Christian 2005 Universitätsbibliothek der Universität Stuttgart
• Linux device drivers
  Rubini, Alessandro ; Corbet, Jonathan 2001 O'Reilly
• On synthesising Linux kernel module components from Coq formalisations
  Frank, Mario ; Kreitz, Christoph ; Lamprecht, Anna-Lena ; Appel, Andrew W. 2024 Universität Potsdam
• Linux device drivers – [where the Kernel meets the hardware]
  Corbet, Jonathan ; Rubini, Alessandro ; Kroah-Hartman, Greg 2005 O'Reilly
• Linux device drivers – [a Unix compatible operating system for the personal computer]
  Rubini, Alessandro 1998 O'Reilly
• Symbolic Object Code Analysis
  Mühlberg, Jan Tobias ; Lüttgen, Gerald 2010 Otto-Friedrich-Universität Bamberg