v3.26.1
Revenues for geographic areas (in $'000) (Details) - USD ($)
12 Months Ended
Dec. 31, 2025
Dec. 31, 2024
Americas [Member]    
   Asia and rest of world $ 11,131 $ 13,863
   Total 11,131 13,863
EMEA [Member]    
   Asia and rest of world 2,086 2,318
   Total 2,086 2,318
Asia Pacific [Member]    
   Asia and rest of world 1,861 2,582
   Total 1,861 2,582
Total [Member]    
   Asia and rest of world 15,078 18,763
   Total $ 15,078 $ 18,763