It’s doubtful that Red Hat would have to go to the IBM bank to finance this purchase. Although no details of the deal were made public, most media reports are putting the price tag on just north of $100 million, far less than the $250 million it paid for CoreOS in 2018.