/* Output the firmware version we got during initialization.  */
void ethernut5_print_version(void)
/* Output the firmware version we got during initialization.  */
void ethernut5_print_version(void)
{
	printf("%u.%u\n", pwrman_major, pwrman_minor);
}