Official device trees

This is a list of device trees for officially-supported devices.

Pixel 4, Pixel 4 XL (coral)

• Common tree: device/google/coral
• Device-specific tree for Pixel 4 (flame): device/google/coral/flame
• Device-specific tree Pixel 4 XL (coral): device/google/coral/coral
• Vendor tree: vendor/google

Pixel 5, Pixel 4a 5G (redbull)

• Common tree: device/google/redbull
• Device-specific tree for Pixel 5 (redfin): device/google/redfin
• Device-specific tree Pixel 4a 5G (bramble): device/google/bramble
• Vendor tree: vendor/google

This device uses prebuilt vendor images from Google’s stock OS.