added placeholder for linux kernel