+void
+ao_ee_dump_config(void) __reentrant
+{
+ uint16_t i;
+ printf("Configuration block %d\n", FLASH_CONFIG_BLOCK);
+ ao_mutex_get(&ao_flash_mutex); {
+ ao_flash_flush_internal();
+ ao_flash_block = FLASH_BLOCK_NONE;
+ ao_flash_fill(FLASH_CONFIG_BLOCK);
+ i = 0;
+ do {
+ if ((i & 7) == 0) {
+ if (i)
+ putchar('\n');
+ ao_cmd_put16((uint16_t) i);
+ }
+ putchar(' ');
+ ao_cmd_put8(ao_flash_data[i]);
+ ++i;
+ } while (i < sizeof (ao_config));
+ } ao_mutex_put(&ao_flash_mutex);
+}
+