Google appears to have begun preparing for the release ofbased on Intel's forthcoming .
Google software engineer Stefan Reinauer, who works on boot code for Chromebooks' ChromeOS, last week committed Haswell-related code changes to Coreboot, a fast boot open source BIOS replacement for Linux systems.
Google Chrome OS vendor support was added to Coreboot last year, when Reinauer wrote: "Google's Chrome OS can be booted super fast and safely using Coreboot".
Haswell is the codename for Intel's forthcoming 22nm chip, whose low power drain is targeted at mobile devices. Intel has said that Haswell-based devices could get double the battery life compared to devices using its third generation Ivy Bridge processors.
Google Chromebooks are budget machines that run the Chrome OS, a Google built, Linux-based OS designed around web apps and online use. Earlier this year Google revealed the, a $1,299 machine with a far higher spec than the base range.
The current range of Chromebooks feature the Arm Cortex A-15 based Samsung Exynos 5 processor or a dual-core Intel Celeron CPU, while the Pixel is based on a 1.8GHz dual core Intel Core i5 processor.
Google declined to comment.