www.engadget.com/2018/10/28/ibm-buys-red-hat/ Is it a good new ? Can this new make reviving Linux in the public market, or only in the professional cloud market ? André