Added cost of linux kernel example