• DocumentCode
    707348
  • Title

    Verification of Linux device drivers using device virtualization

  • Author

    Dileep, K.P. ; Raghavendra Rao, A. ; Suman, M. ; Devesh, G. ; Srikanth, S.V.

  • Author_Institution
    Centre for Dev. of Adv. Comput., Hyderabad, India
  • fYear
    2015
  • fDate
    11-13 March 2015
  • Firstpage
    694
  • Lastpage
    698
  • Abstract
    Nowadays, there is a rapid increase in usage of the embedded systems in consumer, industrial, automation and commercial applications. Linux being an open source and fastest growing operating system supports many hardware architectures. The flexibility it offers for the developers makes Linux the default choice for many embedded system boards. There is a very high demand for Linux porting onto various embedded boards which includes development of Board Support Packages (BSP), device drivers and so on. In order to quickly test these developed BSPs and device drivers without the real hardware and with continuous change in I/O devices for various applications, there is an immediate need for platform and device virtualization. Linux supports large number of hypervisors. The widely used hypervisor schemes are Kernel-based Virtual Machine (KVM), lguest and Quick Emulator (QEMU). QEMU is an open source hypervisor and highly supports the Linux KVM and device emulation using Qdev framework. QEMU can also be used to virtualize the platform and application software. This paper discusses in detail about developing an I/O device virtualization for QEMU emulator which is generally used for faster Linux device driver verification and testing.
  • Keywords
    Linux; device drivers; embedded systems; operating system kernels; public domain software; virtual machines; virtualisation; BSP; I/O device virtualization; KVM; Linux device driver verification; QEMU; QEMU emulator; Qdev framework; board support packages; device emulation; device virtualization; embedded boards; embedded systems; hardware architectures; kernel-based virtual machine; lguest and quick emulator; open source hypervisor scheme; operating system; Computer architecture; Hardware; Kernel; Linux; Protocols; Virtual machine monitors; Virtualization; Device Drivers; I2C; Linux Kernel; QEMU; System on Chip (SoC); Verification; Virtualization;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computing for Sustainable Global Development (INDIACom), 2015 2nd International Conference on
  • Conference_Location
    New Delhi
  • Print_ISBN
    978-9-3805-4415-1
  • Type

    conf

  • Filename
    7100338