ARM, RISC-V контроллеры

Насколько я понимаю, vLinux - это аналог uClinux сделанный корейской фирмой (кажется, Vitals System). Я так понял, они взяли линуск и обкусали его, чтобы его можно было пускать на контроллерах без MMU (в uClinux сделано то же самое). Стоит немерянных денег (порядка 30 Kилобаксов). Другое дело, непонятно как они рещают проблему с лицензией GPL - этого я не знаю.