Firstly, there's no such thing as AROS 1.5.1

AROS itself is only labelled with dates and architecture. What I suspect youre talking about is icaros, which is an aros distro. A little pedantic maybe, but its a pet peeve of mine. Calling it AROS 1.5.1 is akin to referring to Ubuntu as "Linux 10.1" (or whatever revision number).
As for your question atheros 5xxx wireless (wifi) chipsets are well supported by aros. This support can be added via a pci card. USB wireless isnt as cut and dry, and to be honest I gave up trying as it was cheaper to get something that I knew worked than it was to try a bunch of usb modems hoping to get it working. If its intended target is a school then its probably worthwhile having a supported wired nic too.