ba9415d7cdf571723d2d86bc142f31a80c6ba144
[metatoy] / config.h
1 #ifndef PCBOOT_CONFIG_H_
2 #define PCBOOT_CONFIG_H_
3
4 /* frequency of generated timer ticks in hertz */
5 #define TICK_FREQ_HZ            250
6
7 #undef CON_TEXTMODE
8 #define CON_SERIAL
9
10 #endif  /* PCBOOT_CONFIG_H_ */