/* ARM configuration file; HZ is 100 rather than the default 60 */
#ifndef _MACHINE_PARAM_H
# define _MACHINE_PARAM_H
# define HZ (100)
#endif