[pabs3]

I note that Linux mainline has a device tree for the "Samsung Galaxy S1 (GT-I9000) based on S5PV210", not sure how complete it is though. Lots of others too:

  $ grep -rhoE 'Samsung Galaxy[^"]+' ./arch/arm*/boot/dts/ | sort -u