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