100644 blob 1441dda8edf768799048b8cfb89d1fc9883d12a5	Makefile
100644 blob bf31af3d32d69cbc49af4708bbc1da886eff7ce5	bios_uv.c
100644 blob 4221259a5870ab0757c4a33b7aa53385c73485ae	uv_irq.c
100644 blob 45d0c17ce77c440dcc1df2fef6221104c7b99ead	uv_nmi.c
100644 blob 54663f3e00cbd8ee2b53438f00f429fc57e9c83f	uv_time.c