njoly 11037f4f04 Update linux cpuinfo vendor_id/model_name field, to show expected ... output.		2008-06-11 21:47:46 +00:00
..
acpi	Random underdocumented CPU facts:	2008-05-25 17:20:29 +00:00
amd64	Update linux cpuinfo vendor_id/model_name field, to show expected	2008-06-11 21:47:46 +00:00
compile
conf	add pckbc at acpi	2008-06-05 09:37:21 +00:00
include	pmap_remove_all() for x86. Also, always defer freeing ptps to pmap_update().	2008-06-05 21:09:12 +00:00
Makefile	Install xenio.h and xenio3.h in /usr/include/xen, for the benefit	2008-02-17 16:23:12 +00:00