//---
//	gintctl:gint - gint feature tests
//---

#ifndef GINTCTL_GINT
#define GINTCTL_GINT

/* gintctl_gint_hardware(): Detected hardware configuration */
void gintctl_gint_hardware(void);

/* gintctl_gint_timer(): Show the timer status in real-time */
void gintctl_gint_timer(void);

#endif /* GINTCTL_GINT */