Mal nach "vLinux" gegoogelt und das hier gefunden:

http://www.linuxdevices.com/products/PD7578546610.html (...würde auch zum ARM von Samsung passen.)

Der Hersteller nennt sich "Vital Systems" und da steht: " vLinux Service Packages are provided to customers along with full source code. Vitals System supplies vLinux as an open source product: "no license fee, no runtime royalty, no limit to use"

Danke, da bin ich schon ein Stück näher. Dass es vLinux ist, habe ich zum Beispiel noch nicht raugefunden.

Norman