/*
 * Copyright(C) 2017 Francois Berder <fberder@outlook.fr>
 *
 * This file is subject to the terms and conditions of the GNU Lesser
 * General Public License v2.1. See the file LICENSE in the top level
 * directory for more details.
 *
 */

#include <stdint.h>
#include <string.h>
#include "board.h"
#include "periph/cpuid.h"

 void cpuid_get(void *id)
 {
    memcpy(id, (uint32_t*)&DEVID, CPUID_LEN);
 }