No, HP Pavilion Chromebook's codename is called "Butterfly":
http://www.chromium.org/chromium-os/developer-information-for-chrome-os-devices
No, HP Pavilion Chromebook's codename is called "Butterfly":
http://www.chromium.org/chromium-os/developer-information-for-chrome-os-devices