// Copyright (c) 2025 Thales Research and Technology
// SPDX-License-Identifier: Apache-2.0 WITH SHL-2.1
/**
 * \file bootrom_types.h
 * \brief Contains custom types which show their size.
 * \author Julien Mallet
 * 
*/

#ifndef BOOTROM_TYPES_H
#define BOOTROM_TYPES_H


typedef __signed__ char s8_t;
typedef unsigned char u8_t;

typedef __signed__ short s16_t;
typedef unsigned short u16_t;

typedef __signed__ int s32_t;
typedef unsigned int u32_t;

typedef __signed__ long long s64_t;
typedef unsigned long long u64_t;

typedef unsigned long int uptr_t;


#endif