Date   : Wed, 28 Dec 2011 19:57:00 +0000 (GMT)
From   : dabenavidesd@... (Daniel Alejandro Benavides D.)
Subject: About ARM PC

Hi all:
Does anybody know what was the licensing of IBM's Workplace Microkernel to
ARM (Goldstar Co)?

http://www.cbronline.com/news/goldstar_may_take_os2_for_powerpc_and_handhel
ds

What went on with that ARM kernel?

Thanks in advance