If you're just looking to do IDS activities in a small form factor, check out the Soekris boards:
http://soekris.com/They go up to 1.6Ghz/2GB/4 Ethernet ports, but they're obviously much more expensive than a Raspberry Pi.
They are definitely more expensive, but I guess you can do more with them too... thanks
