Proble opening the /dev/epcs_controller device

We are using CYCLONE device.

I don'nt know what you mean by 'design'.

Below is part of the system.h.

/*

* system configuration

*

*/

# define ALT_SYSTEM_NAME "secure_box"# define ALT_CPU_NAME "cpu"# define ALT_CPU_ARCHITECTURE "altera_nios2"# define ALT_DEVICE_FAMILY "CYCLONE"# define SECURE_BOX_V1_1# define ALT_STDIN "/dev/jtag_uart"# define ALT_STDOUT "/dev/jtag_uart"# define ALT_STDERR "/dev/jtag_uart"# define ALT_CPU_FREQ 40000000# define ALT_IRQ_BASE NULL

/*

* processor configuration

*

*/

# define NIOS2_CPU_IMPLEMENTATION "tiny"

# define NIOS2_ICACHE_SIZE 0# define NIOS2_DCACHE_SIZE 0# define NIOS2_ICACHE_LINE_SIZE 0# define NIOS2_DCACHE_LINE_SIZE 0

# define NIOS2_EXCEPTION_ADDR 0x00080020# define NIOS2_RESET_ADDR 0x00040800