* src/devs_flash_atmel_dataflash.c: Correct bad sector count for AT45DB642 dataflash device. * cdl/devs_flash_atmel_dataflash.cdl: Mark CYGPKG_IO_FLASH as the parent of this package.

/* this is a simple hello world program */
#include <stdio.h>

int main(void)
{
  printf("Hello, eCos world!\n");
  return 0;
}