arch/arm/boot/dts/exynos5410-odroidxu.dts

   1 // SPDX-License-Identifier: GPL-2.0
   2 /*
   3  * Hardkernel Odroid XU board device tree source
   4  *
   5  * Copyright (c) 2013 Samsung Electronics Co., Ltd.
   6  *              http://www.samsung.com
   7  * Copyright (c) 2016 Krzysztof Kozlowski
   8  */
   9
  10 /dts-v1/;
  11 #include "exynos5410.dtsi"
  12 #include <dt-bindings/clock/maxim,max77802.h>
  13 #include <dt-bindings/gpio/gpio.h>
  14 #include <dt-bindings/interrupt-controller/irq.h>
  15 #include <dt-bindings/sound/samsung-i2s.h>
  16 #include "exynos54xx-odroidxu-leds.dtsi"
  17
  18 / {
  19         model = "Hardkernel Odroid XU";
  20         compatible = "hardkernel,odroid-xu", "samsung,exynos5410", "samsung,exynos5";
  21
  22         aliases {
  23                 ethernet = &ethernet;
  24         };
  25
  26         memory@40000000 {
  27                 device_type = "memory";
  28                 reg = <0x40000000 0x7ea00000>;
  29         };
  30
  31         chosen {
  32                 stdout-path = "serial2:115200n8";
  33         };
  34
  35         emmc_pwrseq: pwrseq {
  36                 pinctrl-0 = <&emmc_nrst_pin>;
  37                 pinctrl-names = "default";
  38                 compatible = "mmc-pwrseq-emmc";
  39                 reset-gpios = <&gpd1 0 GPIO_ACTIVE_LOW>;
  40         };
  41
  42         fan0: pwm-fan {
  43                 compatible = "pwm-fan";
  44                 pwms = <&pwm 0 20972 0>;
  45                 #cooling-cells = <2>;
  46                 cooling-levels = <0 130 170 230>;
  47         };
  48
  49         fin_pll: xxti {
  50                 compatible = "fixed-clock";
  51                 clock-frequency = <24000000>;
  52                 clock-output-names = "fin_pll";
  53                 #clock-cells = <0>;
  54         };
  55
  56         firmware@2073000 {
  57                 compatible = "samsung,secure-firmware";
  58                 reg = <0x02073000 0x1000>;
  59         };
  60
  61         sound: sound {
  62                 compatible = "simple-audio-card";
  63
  64                 simple-audio-card,name = "Odroid-XU";
  65                 simple-audio-card,widgets =
  66                         "Headphone", "Headphone Jack",
  67                         "Speakers", "Speakers";
  68                 simple-audio-card,routing =
  69                         "Headphone Jack", "HPL",
  70                         "Headphone Jack", "HPR",
  71                         "Headphone Jack", "MICBIAS",
  72                         "IN1", "Headphone Jack",
  73                         "Speakers", "SPKL",
  74                         "Speakers", "SPKR";
  75
  76                 simple-audio-card,format = "i2s";
  77                 simple-audio-card,bitclock-master = <&link0_codec>;
  78                 simple-audio-card,frame-master = <&link0_codec>;
  79
  80                 simple-audio-card,cpu {
  81                         sound-dai = <&audi2s0 0>;
  82                         system-clock-frequency = <19200000>;
  83                 };
  84
  85                 link0_codec: simple-audio-card,codec {
  86                         sound-dai = <&max98090>;
  87                         clocks = <&audi2s0 CLK_I2S_CDCLK>;
  88                 };
  89         };
  90 };
  91
  92 &adc {
  93         vdd-supply = <&ldo10_reg>;
  94         status = "okay";
  95 };
  96
  97 &audi2s0 {
  98         status = "okay";
  99 };
 100
 101 &clock {
 102         clocks = <&fin_pll>;
 103         assigned-clocks = <&clock CLK_FOUT_EPLL>;
 104         assigned-clock-rates = <192000000>;
 105 };
 106
 107 &clock_audss {
 108         assigned-clocks = <&clock_audss EXYNOS_MOUT_AUDSS>,
 109                         <&clock_audss EXYNOS_MOUT_I2S>,
 110                         <&clock_audss EXYNOS_DOUT_SRP>,
 111                         <&clock_audss EXYNOS_DOUT_AUD_BUS>;
 112
 113         assigned-clock-parents = <&clock CLK_FOUT_EPLL>,
 114                         <&clock_audss EXYNOS_MOUT_AUDSS>;
 115
 116         assigned-clock-rates = <0>,
 117                                <0>,
 118                                <96000000>,
 119                                <19200000>;
 120 };
 121
 122 &cpu0_thermal {
 123         polling-delay-passive = <0>;
 124         polling-delay = <0>;
 125
 126         trips {
 127                 cpu_alert0: cpu-alert-0 {
 128                         temperature = <50000>; /* millicelsius */
 129                         hysteresis = <5000>; /* millicelsius */
 130                         type = "active";
 131                 };
 132                 cpu_alert1: cpu-alert-1 {
 133                         temperature = <60000>; /* millicelsius */
 134                         hysteresis = <5000>; /* millicelsius */
 135                         type = "active";
 136                 };
 137                 cpu_alert2: cpu-alert-2 {
 138                         temperature = <70000>; /* millicelsius */
 139                         hysteresis = <5000>; /* millicelsius */
 140                         type = "active";
 141                 };
 142                 cpu_crit0: cpu-crit-0 {
 143                         temperature = <120000>; /* millicelsius */
 144                         hysteresis = <0>; /* millicelsius */
 145                         type = "critical";
 146                 };
 147         };
 148
 149         cooling-maps {
 150                 map0 {
 151                         trip = <&cpu_alert0>;
 152                         cooling-device = <&fan0 0 1>;
 153                 };
 154                 map1 {
 155                         trip = <&cpu_alert1>;
 156                         cooling-device = <&fan0 1 2>;
 157                 };
 158                 map2 {
 159                         trip = <&cpu_alert2>;
 160                         cooling-device = <&fan0 2 3>;
 161                 };
 162         };
 163 };
 164
 165 &hsi2c_4 {
 166         samsung,i2c-sda-delay = <100>;
 167         samsung,i2c-max-bus-freq = <400000>;
 168         status = "okay";
 169
 170         usb3503: usb-hub@8 {
 171                 compatible = "smsc,usb3503";
 172                 reg = <0x08>;
 173
 174                 intn-gpios = <&gpx0 7 GPIO_ACTIVE_HIGH>;
 175                 connect-gpios = <&gpx0 6 GPIO_ACTIVE_HIGH>;
 176                 reset-gpios = <&gpx1 4 GPIO_ACTIVE_LOW>;
 177                 initial-mode = <1>;
 178
 179                 clock-names = "refclk";
 180                 clocks = <&pmu_system_controller 0>;
 181                 refclk-frequency = <24000000>;
 182         };
 183
 184         max77802: pmic@9 {
 185                 compatible = "maxim,max77802";
 186                 reg = <0x9>;
 187                 interrupt-parent = <&gpx0>;
 188                 interrupts = <4 IRQ_TYPE_NONE>;
 189                 pinctrl-names = "default";
 190                 pinctrl-0 = <&max77802_irq>, <&pmic_dvs_1>, <&pmic_dvs_2>;
 191                 wakeup-source;
 192                 #clock-cells = <1>;
 193
 194                 inl1-supply = <&buck5_reg>;
 195                 inl2-supply = <&buck7_reg>;
 196                 inl3-supply = <&buck9_reg>;
 197                 inl4-supply = <&buck9_reg>;
 198                 inl5-supply = <&buck9_reg>;
 199                 inl6-supply = <&buck10_reg>;
 200                 inl7-supply = <&buck9_reg>;
 201                 /* inl9 supply is BOOST, not configured here */
 202                 inl10-supply = <&buck7_reg>;
 203
 204                 regulators {
 205                         buck1_reg: BUCK1 {
 206                                 regulator-name = "vdd_mif";
 207                                 regulator-min-microvolt = <800000>;
 208                                 regulator-max-microvolt = <1300000>;
 209                                 regulator-always-on;
 210                                 regulator-boot-on;
 211                         };
 212
 213                         buck2_reg: BUCK2 {
 214                                 regulator-name = "vdd_arm";
 215                                 regulator-min-microvolt = <800000>;
 216                                 regulator-max-microvolt = <1500000>;
 217                                 regulator-always-on;
 218                                 regulator-boot-on;
 219                         };
 220
 221                         buck3_reg: BUCK3 {
 222                                 regulator-name = "vdd_int";
 223                                 regulator-min-microvolt = <800000>;
 224                                 regulator-max-microvolt = <1400000>;
 225                                 regulator-always-on;
 226                                 regulator-boot-on;
 227                         };
 228
 229                         buck4_reg: BUCK4 {
 230                                 regulator-name = "vdd_g3d";
 231                                 regulator-min-microvolt = <800000>;
 232                                 regulator-max-microvolt = <1400000>;
 233                                 regulator-always-on;
 234                                 regulator-boot-on;
 235                         };
 236
 237                         buck5_reg: BUCK5 {
 238                                 regulator-name = "vdd_mem";
 239                                 regulator-min-microvolt = <800000>;
 240                                 regulator-max-microvolt = <1500000>;
 241                                 regulator-always-on;
 242                                 regulator-boot-on;
 243                         };
 244
 245                         buck6_reg: BUCK6 {
 246                                 regulator-name = "vdd_kfc";
 247                                 regulator-min-microvolt = <800000>;
 248                                 regulator-max-microvolt = <1500000>;
 249                                 regulator-always-on;
 250                                 regulator-boot-on;
 251                         };
 252
 253                         buck7_reg: BUCK7 {
 254                                 regulator-name = "buck7";
 255                                 regulator-min-microvolt = <1300000>;
 256                                 regulator-max-microvolt = <1300000>;
 257                                 regulator-always-on;
 258                                 regulator-boot-on;
 259                         };
 260
 261                         buck8_reg: BUCK8 {
 262                                 /* vdd_mmc0 */
 263                                 regulator-name = "vddf_2v85";
 264                                 regulator-min-microvolt = <2850000>;
 265                                 regulator-max-microvolt = <2850000>;
 266                                 regulator-always-on;
 267                                 regulator-boot-on;
 268                         };
 269
 270                         buck9_reg: BUCK9 {
 271                                 regulator-name = "buck9";
 272                                 regulator-min-microvolt = <3000000>;
 273                                 regulator-max-microvolt = <3000000>;
 274                                 regulator-always-on;
 275                                 regulator-boot-on;
 276                         };
 277
 278                         buck10_reg: BUCK10 {
 279                                 regulator-name = "buck10";
 280                                 regulator-min-microvolt = <2950000>;
 281                                 regulator-max-microvolt = <2950000>;
 282                                 regulator-always-on;
 283                                 regulator-boot-on;
 284                         };
 285
 286                         ldo1_reg: LDO1 {
 287                                 regulator-name = "vdd_alive";
 288                                 regulator-min-microvolt = <1000000>;
 289                                 regulator-max-microvolt = <1000000>;
 290                                 regulator-always-on;
 291                         };
 292
 293                         ldo2_reg: LDO2 {
 294                                 regulator-name = "vddq_m1_m2";
 295                                 regulator-min-microvolt = <1200000>;
 296                                 regulator-max-microvolt = <1200000>;
 297                                 regulator-always-on;
 298                         };
 299
 300                         ldo3_reg: LDO3 {
 301                                 regulator-name = "vddq_gpio";
 302                                 regulator-min-microvolt = <1800000>;
 303                                 regulator-max-microvolt = <1800000>;
 304                                 regulator-always-on;
 305                         };
 306
 307                         ldo4_reg: LDO4 {
 308                                 regulator-name = "vddq_mmc2";
 309                                 regulator-min-microvolt = <1800000>;
 310                                 regulator-max-microvolt = <3000000>;
 311                                 /* Having it off prevents reboot */
 312                                 regulator-always-on;
 313                         };
 314
 315                         ldo5_reg: LDO5 {
 316                                 regulator-name = "vdd18_hsic";
 317                                 regulator-min-microvolt = <1800000>;
 318                                 regulator-max-microvolt = <1800000>;
 319                                 regulator-always-on;
 320                         };
 321
 322                         ldo6_reg: LDO6 {
 323                                 regulator-name = "vdd18_bpll";
 324                                 regulator-min-microvolt = <1800000>;
 325                                 regulator-max-microvolt = <1800000>;
 326                                 regulator-always-on;
 327                         };
 328
 329                         ldo7_reg: LDO7 {
 330                                 regulator-name = "vddq_lcd";
 331                                 regulator-min-microvolt = <1800000>;
 332                                 regulator-max-microvolt = <1800000>;
 333                                 /* Supplies also GPK and GPJ */
 334                                 regulator-always-on;
 335                         };
 336
 337                         ldo8_reg: LDO8 {
 338                                 regulator-name = "vdd10_hdmi";
 339                                 regulator-min-microvolt = <1000000>;
 340                                 regulator-max-microvolt = <1000000>;
 341                                 regulator-always-on;
 342                         };
 343
 344                         ldo9_reg: LDO9 {
 345                                 regulator-name = "ldo9";
 346                         };
 347
 348                         ldo10_reg: LDO10 {
 349                                 regulator-name = "vdd18_mipi";
 350                                 regulator-min-microvolt = <1800000>;
 351                                 regulator-max-microvolt = <1800000>;
 352                                 regulator-always-on;
 353                         };
 354
 355                         ldo11_reg: LDO11 {
 356                                 regulator-name = "vddq_mmc01";
 357                                 regulator-min-microvolt = <1800000>;
 358                                 regulator-max-microvolt = <1800000>;
 359                                 /*
 360                                  * Having it off prevents accessing MMC after
 361                                  * reboot with error:
 362                                  * MMC Device 1: Clock OFF has been failed.
 363                                  */
 364                                 regulator-always-on;
 365                         };
 366
 367                         ldo12_reg: LDO12 {
 368                                 regulator-name = "vdd33_usb3";
 369                                 regulator-min-microvolt = <3300000>;
 370                                 regulator-max-microvolt = <3300000>;
 371                                 regulator-always-on;
 372                         };
 373
 374                         ldo13_reg: LDO13 {
 375                                 regulator-name = "vddq_abbg0";
 376                                 regulator-min-microvolt = <1800000>;
 377                                 regulator-max-microvolt = <1800000>;
 378                                 regulator-always-on;
 379                         };
 380
 381                         ldo14_reg: LDO14 {
 382                                 regulator-name = "vddq_abbg1";
 383                                 regulator-min-microvolt = <1800000>;
 384                                 regulator-max-microvolt = <1800000>;
 385                                 regulator-always-on;
 386                         };
 387
 388                         ldo15_reg: LDO15 {
 389                                 regulator-name = "vdd10_usb3";
 390                                 regulator-min-microvolt = <1000000>;
 391                                 regulator-max-microvolt = <1000000>;
 392                                 regulator-always-on;
 393                         };
 394
 395                         ldo17_reg: LDO17 {
 396                                 regulator-name = "cam_sensor_core";
 397                                 regulator-min-microvolt = <1200000>;
 398                                 regulator-max-microvolt = <1200000>;
 399                         };
 400
 401                         ldo18_reg: LDO18 {
 402                                 regulator-name = "ldo18";
 403                                 regulator-min-microvolt = <1800000>;
 404                                 regulator-max-microvolt = <1800000>;
 405                         };
 406
 407                         ldo19_reg: LDO19 {
 408                                 regulator-name = "ldo19";
 409                         };
 410
 411                         ldo20_reg: LDO20 {
 412                                 regulator-name = "vdd_mmc0";
 413                                 regulator-min-microvolt = <1800000>;
 414                                 regulator-max-microvolt = <1800000>;
 415                         };
 416
 417                         ldo21_reg: LDO21 {
 418                                 /* vdd_mmc2 */
 419                                 regulator-name = "vddf_2v8";
 420                                 regulator-min-microvolt = <2850000>;
 421                                 regulator-max-microvolt = <2850000>;
 422                         };
 423
 424                         ldo23_reg: LDO23 {
 425                                 regulator-name = "dp_p3v3";
 426                                 regulator-min-microvolt = <3300000>;
 427                                 regulator-max-microvolt = <3300000>;
 428                                 regulator-always-on;
 429                         };
 430
 431                         ldo24_reg: LDO24 {
 432                                 regulator-name = "cam_af";
 433                                 regulator-min-microvolt = <2800000>;
 434                                 regulator-max-microvolt = <2800000>;
 435                         };
 436
 437                         ldo25_reg: LDO25 {
 438                                 regulator-name = "eth_p3v3";
 439                                 regulator-min-microvolt = <3300000>;
 440                                 regulator-max-microvolt = <3300000>;
 441                                 regulator-always-on;
 442                         };
 443
 444                         ldo26_reg: LDO26 {
 445                                 regulator-name = "usb30_extclk";
 446                                 regulator-min-microvolt = <3300000>;
 447                                 regulator-max-microvolt = <3300000>;
 448                                 regulator-always-on;
 449                         };
 450
 451                         ldo27_reg: LDO27 {
 452                                 regulator-name = "ldo27";
 453                         };
 454
 455                         ldo28_reg: LDO28 {
 456                                 regulator-name = "ldo28";
 457                         };
 458
 459                         ldo29_reg: LDO29 {
 460                                 regulator-name = "ldo29";
 461                         };
 462
 463                         ldo30_reg: LDO30 {
 464                                 regulator-name = "vddq_e1_e2";
 465                                 regulator-min-microvolt = <1200000>;
 466                                 regulator-max-microvolt = <1200000>;
 467                                 regulator-always-on;
 468                         };
 469
 470                         /* On revisions with ti,ina231 this is sensor VS */
 471                         ldo32_reg: LDO32 {
 472                                 regulator-name = "vs_power_meter";
 473                                 regulator-min-microvolt = <3300000>;
 474                                 regulator-max-microvolt = <3300000>;
 475                         };
 476
 477                         ldo33_reg: LDO33 {
 478                                 regulator-name = "ldo33";
 479                         };
 480
 481                         ldo34_reg: LDO34 {
 482                                 regulator-name = "ldo34";
 483                         };
 484
 485                         ldo35_reg: LDO35 {
 486                                 regulator-name = "ldo35";
 487                         };
 488                 };
 489         };
 490 };
 491
 492 &i2c_1 {
 493         status = "okay";
 494         max98090: audio-codec@10 {
 495                 compatible = "maxim,max98090";
 496                 reg = <0x10>;
 497                 interrupt-parent = <&gpj3>;
 498                 interrupts = <0 IRQ_TYPE_NONE>;
 499                 clocks = <&audi2s0 CLK_I2S_CDCLK>;
 500                 clock-names = "mclk";
 501                 #sound-dai-cells = <0>;
 502         };
 503 };
 504
 505 &mmc_0 {
 506         status = "okay";
 507         mmc-pwrseq = <&emmc_pwrseq>;
 508         cd-gpios = <&gpc0 2 GPIO_ACTIVE_LOW>;
 509         card-detect-delay = <200>;
 510         samsung,dw-mshc-ciu-div = <3>;
 511         samsung,dw-mshc-sdr-timing = <0 4>;
 512         samsung,dw-mshc-ddr-timing = <0 2>;
 513         pinctrl-names = "default";
 514         pinctrl-0 = <&sd0_clk &sd0_cmd &sd0_bus1 &sd0_bus4 &sd0_bus8 &sd0_cd>;
 515         bus-width = <8>;
 516         cap-mmc-highspeed;
 517         mmc-hs200-1_8v;
 518         vmmc-supply = <&ldo20_reg>;
 519         vqmmc-supply = <&ldo11_reg>;
 520 };
 521
 522 &mmc_2 {
 523         status = "okay";
 524         card-detect-delay = <200>;
 525         samsung,dw-mshc-ciu-div = <3>;
 526         samsung,dw-mshc-sdr-timing = <0 4>;
 527         samsung,dw-mshc-ddr-timing = <0 2>;
 528         pinctrl-names = "default";
 529         pinctrl-0 = <&sd2_clk &sd2_cmd &sd2_cd &sd2_bus1 &sd2_bus4 &sd2_wp>;
 530         bus-width = <4>;
 531         cap-sd-highspeed;
 532         vmmc-supply = <&ldo21_reg>;
 533         vqmmc-supply = <&ldo4_reg>;
 534 };
 535
 536 &pinctrl_0 {
 537         emmc_nrst_pin: emmc-nrst-pins {
 538                 samsung,pins = "gpd1-0";
 539                 samsung,pin-function = <EXYNOS_PIN_FUNC_2>;
 540                 samsung,pin-pud = <EXYNOS_PIN_PULL_NONE>;
 541                 samsung,pin-drv = <EXYNOS5420_PIN_DRV_LV1>;
 542         };
 543
 544         sd2_wp: sd2-wp-pins {
 545                 samsung,pins = "gpm5-0";
 546                 samsung,pin-function = <EXYNOS_PIN_FUNC_2>;
 547                 /* Pin is floating so be sure to disable write-protect */
 548                 samsung,pin-pud = <EXYNOS_PIN_PULL_DOWN>;
 549                 samsung,pin-drv = <EXYNOS5420_PIN_DRV_LV4>;
 550         };
 551
 552         pmic_dvs_2: pmic-dvs-2-pins {
 553                 samsung,pins = "gpx0-0", "gpx0-1";
 554                 samsung,pin-function = <EXYNOS_PIN_FUNC_OUTPUT>;
 555                 samsung,pin-pud = <EXYNOS_PIN_PULL_NONE>;
 556                 samsung,pin-drv = <EXYNOS5420_PIN_DRV_LV1>;
 557         };
 558
 559         pmic_dvs_1: pmic-dvs-1-pins {
 560                 samsung,pins = "gpx0-2";
 561                 samsung,pin-function = <EXYNOS_PIN_FUNC_OUTPUT>;
 562                 samsung,pin-pud = <EXYNOS_PIN_PULL_NONE>;
 563                 samsung,pin-drv = <EXYNOS5420_PIN_DRV_LV1>;
 564                 samsung,pin-val = <1>;
 565         };
 566
 567         max77802_irq: max77802-irq-pins {
 568                 samsung,pins = "gpx0-4";
 569                 samsung,pin-function = <EXYNOS_PIN_FUNC_F>;
 570                 samsung,pin-pud = <EXYNOS_PIN_PULL_NONE>;
 571                 samsung,pin-drv = <EXYNOS5420_PIN_DRV_LV1>;
 572         };
 573 };
 574
 575 &pwm {
 576         /*
 577          * PWM 0 -- fan
 578          * PWM 1 -- Green LED
 579          * PWM 2 -- Blue LED
 580          * PWM 3 -- on MIPI connector for backlight
 581          */
 582         pinctrl-0 = <&pwm0_out &pwm1_out &pwm2_out &pwm3_out>;
 583         pinctrl-names = "default";
 584         status = "okay";
 585 };
 586
 587 &rtc {
 588         status = "okay";
 589         clocks = <&clock CLK_RTC>, <&max77802 MAX77802_CLK_32K_AP>;
 590         clock-names = "rtc", "rtc_src";
 591 };
 592
 593 &serial_0 {
 594         status = "okay";
 595 };
 596
 597 &serial_1 {
 598         status = "okay";
 599 };
 600
 601 &serial_2 {
 602         status = "okay";
 603 };
 604
 605 &serial_3 {
 606         status = "okay";
 607 };
 608
 609 &tmu_cpu0 {
 610         vtmu-supply = <&ldo10_reg>;
 611 };
 612
 613 &tmu_cpu1 {
 614         vtmu-supply = <&ldo10_reg>;
 615 };
 616
 617 &tmu_cpu2 {
 618         vtmu-supply = <&ldo10_reg>;
 619 };
 620
 621 &tmu_cpu3 {
 622         vtmu-supply = <&ldo10_reg>;
 623 };
 624
 625 &usb3_0_oc {
 626         /* External pull up */
 627         samsung,pin-pud = <EXYNOS_PIN_PULL_NONE>;
 628 };
 629
 630 &usb3_1_oc {
 631         /* External pull up */
 632         samsung,pin-pud = <EXYNOS_PIN_PULL_NONE>;
 633 };
 634
 635 &usbdrd_dwc3_0 {
 636         dr_mode = "peripheral";
 637 };
 638
 639 &usbdrd_dwc3_1 {
 640         dr_mode = "host";
 641 };
 642
 643 &usbdrd3_0 {
 644         vdd33-supply = <&ldo12_reg>;
 645         vdd10-supply = <&ldo15_reg>;
 646 };
 647
 648 &usbdrd3_1 {
 649         vdd33-supply = <&ldo12_reg>;
 650         vdd10-supply = <&ldo15_reg>;
 651 };
 652
 653 &usbhost2 {
 654         #address-cells = <1>;
 655         #size-cells = <0>;
 656
 657         ethernet: ethernet@2 {
 658                 compatible = "usb424,9730";
 659                 reg = <2>;
 660                 local-mac-address = [00 00 00 00 00 00]; /* Filled in by a bootloader */
 661         };
 662 };