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 #ifdef _KERNEL
13 #ifndef HZ_DEFAULT
14 #define HZ_DEFAULT	20
15 #endif
16 #endif
17 
18 #include <cpu/param.h>
19 
20 #endif
21