///|
fn android_model(
  name~ : String,
  about~ : String,
  host~ : String,
  os~ : String,
  device~ : String,
  kernel~ : String,
  resolution~ : Resolution?,
  cpu~ : Cpu,
  gpu~ : Gpu,
  memory~ : Memory,
) -> DeviceModel {
  {
    name,
    about,
    host,
    os,
    device,
    kernel,
    uptime: { hours: 2, mins: 54 },
    shell: "bash 5.3.3",
    resolution,
    de: "HyperOS 3.0.303.0.WNOCNXM",
    wm: "WindowManager (SurfaceFlinger)",
    wm_theme: "HyperOS Light",
    terminal: "Termux 0.118.0",
    term_font: "monospace",
    cpu,
    gpu,
    memory,
    logo: "android",
  }
}

///|
/// Xiaomi 15 Pro, Qualcomm Snapdragon 8 Elite, 16 GB RAM, HyperOS (Android 16).
fn xiaomi_15_pro_model() -> DeviceModel {
  android_model(
    name="xiaomi-15-pro",
    about="Android Xiaomi 15 Pro Snapdragon 8 Elite 16 GB",
    host="localhost",
    os="Android 16 (Baklava) arm64-v8a",
    device="Xiaomi 15 Pro (localhost)",
    kernel="Linux 6.6.84-android16-4-g8a1b2c3d",
    resolution=Some({ width: 3200, height: 1440 }),
    cpu={ name: "Qualcomm Snapdragon 8 Elite", cores: 8, clock: 4.32 },
    gpu=gpu_adreno_830,
    memory={ used: 6.40, total: 14.92 },
  )
}