Name Last modified Size Description
Parent Directory - devices/ 2021-11-10 11:53 - api.txt 2021-11-10 11:53 82K cpuid.txt 2021-11-10 11:53 2.4K hypercalls.txt 2021-11-10 11:53 2.2K locking.txt 2021-11-10 11:53 5.0K mmu.txt 2021-11-10 11:53 15K msr.txt 2021-11-10 11:53 9.8K nested-vmx.txt 2021-11-10 11:53 8.0K ppc-pv.txt 2021-11-10 11:53 6.8K review-checklist.txt 2021-11-10 11:53 1.5K timekeeping.txt 2021-11-10 11:53 30K
All code served here is covered by free licences, one or more of GPL, LGPL, BSD and others.
For licence details get the complete tarball from the Download column of the GPL-Browser.