+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);
+}
+
+static void
+flash_status(void) __reentrant
+{
+ uint8_t status;
+
+ ao_flash_setup();
+ ao_mutex_get(&ao_flash_mutex); {
+ status = ao_flash_read_status();
+ printf ("Flash status: 0x%02x\n", status);
+ printf ("Flash block shift: %d\n", FLASH_BLOCK_SHIFT);
+ printf ("Flash block size: %d\n", FLASH_BLOCK_SIZE);
+ printf ("Flash block mask: %d\n", FLASH_BLOCK_MASK);
+ printf ("Flash device size: %ld\n", FLASH_DEVICE_SIZE);
+ printf ("Flash data size: %ld\n", FLASH_DATA_SIZE);
+ printf ("Flash config block: %d\n", FLASH_CONFIG_BLOCK);
+ } ao_mutex_put(&ao_flash_mutex);
+ ao_ee_dump_config();
+}
+