text: /*
   * Copyright (c) 2019 Antmicro <www.antmicro.com>
   *
   * SPDX-License-Identifier: Apache-2.0
   */
  
  #include <drivers/hwinfo.h>
  #include <soc.h>
  #include <string.h>
  #include <device.h>
  #include <sys/util.h>
  
  ssize_t z_impl_hwinfo_get_device_id(u8_t *buffer, size_t length)
  {
  	u32_t volatile *ptr = (u32_t volatile *)(DT_INST_0_LITEX_DNA0_BASE_ADDRESS);
  	ssize_t end = MIN(length, (DT_INST_0_LITEX_DNA0_SIZE / sizeof(u32_t)));
  
  	for (int i = 0; i < end; i++) {
  		/* In LiteX even though registers are 32-bit wide, each one
  		   contains meaningful data only in the lowest 8 bits */
  		buffer[i] = (u8_t)(ptr[i] & 0xff);
  	}
  
  	return end;
  }
  