src/boot/bootctl-uki.c

   1 /* SPDX-License-Identifier: LGPL-2.1-or-later */
   2
   3 #include "alloc-util.h"
   4 #include "bootctl-uki.h"
   5 #include "kernel-image.h"
   6
   7 int verb_kernel_identify(int argc, char *argv[], void *userdata) {
   8         KernelImageType t;
   9         int r;
  10
  11         r = inspect_kernel(argv[1], &t, NULL, NULL, NULL);
  12         if (r < 0)
  13                 return r;
  14
  15         puts(kernel_image_type_to_string(t));
  16         return 0;
  17 }
  18
  19 int verb_kernel_inspect(int argc, char *argv[], void *userdata) {
  20         _cleanup_free_ char *cmdline = NULL, *uname = NULL, *pname = NULL;
  21         KernelImageType t;
  22         int r;
  23
  24         r = inspect_kernel(argv[1], &t, &cmdline, &uname, &pname);
  25         if (r < 0)
  26                 return r;
  27
  28         printf("Kernel Type: %s\n", kernel_image_type_to_string(t));
  29         if (cmdline)
  30                 printf("    Cmdline: %s\n", cmdline);
  31         if (uname)
  32                 printf("    Version: %s\n", uname);
  33         if (pname)
  34                 printf("         OS: %s\n", pname);
  35
  36         return 0;
  37 }