[bootcensus] / src / config.h

#ifndef PCBOOT_CONFIG_H_
#define PCBOOT_CONFIG_H_

/* frequency of generated timer ticks in hertz */
#define TICK_FREQ_HZ            250

#define CON_TEXTMODE
#define CON_SERIAL

#endif  /* PCBOOT_CONFIG_H_ */