text: /* Core kernel objects */
  K_OBJ_MEM_SLAB,
  K_OBJ_MSGQ,
  K_OBJ_MUTEX,
  K_OBJ_PIPE,
  K_OBJ_QUEUE,
  K_OBJ_POLL_SIGNAL,
  K_OBJ_SEM,
  K_OBJ_STACK,
  K_OBJ_THREAD,
  K_OBJ_TIMER,
  K_OBJ_THREAD_STACK_ELEMENT,
  K_OBJ_NET_SOCKET,
  K_OBJ_NET_IF,
  K_OBJ_SYS_MUTEX,
  K_OBJ_FUTEX,
  K_OBJ_CONDVAR,
  /* Driver subsystems */
  K_OBJ_DRIVER_PTP_CLOCK,
  K_OBJ_DRIVER_CRYPTO,
  K_OBJ_DRIVER_ADC,
  K_OBJ_DRIVER_CAN,
  K_OBJ_DRIVER_COUNTER,
  K_OBJ_DRIVER_DAC,
  K_OBJ_DRIVER_DMA,
  K_OBJ_DRIVER_EC_HOST_CMD_PERIPH_API,
  K_OBJ_DRIVER_EEPROM,
  K_OBJ_DRIVER_ENTROPY,
  K_OBJ_DRIVER_ESPI,
  K_OBJ_DRIVER_FLASH,
  K_OBJ_DRIVER_GPIO,
  K_OBJ_DRIVER_I2C,
  K_OBJ_DRIVER_I2S,
  K_OBJ_DRIVER_IPM,
  K_OBJ_DRIVER_KSCAN,
  K_OBJ_DRIVER_LED,
  K_OBJ_DRIVER_PINMUX,
  K_OBJ_DRIVER_PS2,
  K_OBJ_DRIVER_PSCI,
  K_OBJ_DRIVER_PWM,
  K_OBJ_DRIVER_REGULATOR,
  K_OBJ_DRIVER_SENSOR,
  K_OBJ_DRIVER_SPI,
  K_OBJ_DRIVER_UART,
  K_OBJ_DRIVER_WDT,
  K_OBJ_DRIVER_UART_MUX,
  K_OBJ_DRIVER_IVSHMEM,
  