the mini2440 uses a S3C2440 by the way.... (it's also my dream but i found it cheaper just to buy one... by the time...)
i checked the keil uVision3 (free trial available) and it supports the MCU you need...
ARM926EJ-S based High-performance 32-bit RISC Microcontroller with
Thumb extensions, 32K Bytes ROM, 8K Bytes SRAM, USB 2.0 Device Port,
USB 2.0 Host Single Port, Ethernet MAC 10/100 Base T, External
Bus Interface, Bus Matrix, System Controller, Reset Controller,
Shutdown Controller, Clock Generator, Power Management Controller,
Advanced Interrupt Controller, Debug Unit, Periodic Interval Timer,
Watchdog Timer, Real-Time Timer, One 4-channel 10-bit AD Converter,
Three 32-bit PIO Controllers, Twentytwo Peripheral DMA Channels (PDC),
Multimedia Card Interface (MCI), One Synchronous Serial Controllers (SSC),
Four Universal Synchronous/Asynchronous Receiver Transmitters (USART),
Two Master/Slave Serial Peripheral Interface (SPI), Two Three-channel 16-bit
Timer/Counters (TC), Two-wire Interface (TWI), IEEE 1149.1 JTAG
Boundary Scan