Changed kernel to include native read() function