Added kernel references