package/boot/palo/force-64bit.patch.hppa64

   1 # --- T2-COPYRIGHT-NOTE-BEGIN ---
   2 # T2 SDE: package/*/palo/force-64bit.patch.hppa64
   3 # Copyright (C) 2024 The T2 SDE Project
   4 #
   5 # This Copyright note is generated by scripts/Create-CopyPatch,
   6 # more information can be found in the files COPYING and README.
   7 #
   8 # This patch file is dual-licensed. It is available under the license the
   9 # patched project is licensed under, as long as it is an OpenSource license
  10 # as defined at http://www.opensource.org/ (e.g. BSD, X11) or under the terms
  11 # of the GNU General Public License version 2 as used by the T2 SDE.
  12 # --- T2-COPYRIGHT-NOTE-END ---
  13
  14 --- palo-2.24/ipl/ipl.c.vanilla 2024-04-10 17:56:22.913957057 +0200
  15 +++ palo-2.24/ipl/ipl.c 2024-04-10 17:58:25.968956517 +0200
  16 @@ -791,17 +791,20 @@
  17                     goto restart;
  18                 }
  19             }
  20 -
  21 +#if 0
  22             if (kernfd == -1 && (pdc_os_bits() & PDC_MODEL_OS64))
  23             {
  24 +#endif
  25                 printf("Choosing 64-bit kernel\n");
  26                 kernfd = offset_open(bootdev, f.kern64_offset, f.kern64_sz);
  27 +#if 0
  28             }
  29             else if (kernfd == -1 && (pdc_os_bits() & PDC_MODEL_OS32))
  30             {
  31                 printf("Choosing 32-bit kernel\n");
  32                 kernfd = offset_open(bootdev, f.kern32_offset, f.kern32_sz);
  33             }
  34 +#endif
  35         }
  36
  37         if (!load_kernel(kernfd, &entry, &wide))