From fddd87d6e135924b92499917bace103e46c22d00 Mon Sep 17 00:00:00 2001
From: Richard Henderson <rth@twiddle.net>
Date: Fri, 12 Jul 2013 16:15:56 -0700
Subject: [PATCH] alpha: Allow HZ to be configured

With the 1024Hz default, we spend 50% of QEMU emulation
processing timer interrupts.

Signed-off-by: Richard Henderson <rth@twiddle.net>
---
Reading git-format-patch failed