1. 25b8b39 linux-headers: Update to 4.2-rc1 by Alexey Kardashevskiy · 9 years ago
  2. 7a52ce8 linux-headers: update by Cornelia Huck · 10 years ago
  3. 47cbe50 vfio-pci: Enable device request notification support by Alex Williamson · 10 years ago
  4. 444b199 linux-headers: update to 3.18-rc5 by Ard Biesheuvel · 10 years ago
  5. a9fd165 linux-headers: update to 3.17-rc7 by Jens Freimann · 10 years ago
  6. 9ffd268 linux-headers update by Cornelia Huck · 11 years ago
  7. 4f26560 linux-headers: update to 3.12-rc1 by Andrew Jones · 11 years ago
  8. c5daeae linux-headers: update to 3.11 by Alexey Kardashevskiy · 11 years ago
  9. e098b45 linux-headers: Update to v3.10-rc5 by Alexey Kardashevskiy · 12 years ago
  10. 010ca0b linux-headers: Update to v3.9-rc2 by Alex Williamson · 12 years ago
  11. d4834ff kvm: Update kernel headers by Alexander Graf · 12 years ago
  12. 716b8e4 linux-headers: Update to 3.7-rc5 by Alex Williamson · 12 years ago
  13. 883f0b8 Update Linux kernel headers by Alex Williamson · 12 years ago