1 #ifndef _MACHINE_PARAM_H_
2 #define _MACHINE_PARAM_H_
3 
4 #ifndef _MACHINE_PLATFORM
5 #define _MACHINE_PLATFORM	vkernel64
6 #endif
7 
8 #ifndef MACHINE_PLATFORM
9 #define MACHINE_PLATFORM	"vkernel64"
10 #endif
11 
12 /*
13  * Set the default HZ to the likely resolution of the kqueue timer
14  * the vkernel uses, otherwise our ticks will be seriously off and
15  * while date/time will be correct, sleep intervals will not.
16  */
17 #ifdef _KERNEL
18 #ifndef HZ
19 #define HZ	20
20 #endif
21 #endif
22 
23 #include <cpu/param.h>
24 
25 #endif
26