He was also a great supporter of Xenomai: https://lore.kernel.org/xenomai/eca5db9d-5e39-672a-e190-1c8ee6dcd813@siemens.com/T/#u https://lore.kernel.org/xenomai/

He was also a great supporter of Xenomai: https://lore.kernel.org/xenomai/eca5db9d-5e39-672a-e190-1c8ee6dcd813@siemens.com/T/#u https://lore.kernel.org/xenomai/eca5db9d-5e39-672a-e190-1c8e... https://lore.kernel.org/xenomai/87v8oa60bx.fsf@xenomai.org/T/#u https://lore.kernel.org/xenomai/87v8oa60bx.fsf@xenomai.org/T...