/* This function is called to determine whether the BSP is compatible with the supplied device-tree, which is assumed to be the correct one for the actual board. It is expected thati, in the future, a kernel may support multiple boards.  */
static int __init gef_sbc610_probe(void)
/* This function is called to determine whether the BSP is compatible with the supplied device-tree, which is assumed to be the correct one for the actual board. It is expected thati, in the future, a kernel may support multiple boards.  */
static int __init gef_sbc610_probe(void)
{
	unsigned long root = of_get_flat_dt_root();
	if (of_flat_dt_is_compatible(root, "gef,sbc610"))
		return 1;
	return 0;
}