/*
 * Copyright (C) 2018-2020 Western Digital Corporation or its affiliates
 * Copyright (C) 2017-2018 Wearable, Inc.
 * Copyright (C) 2000-2012 leJOS Contributors
 * Copyright (C) 2000 Jose H. Solorzano and TinyVM Contributors
 *
 * This Source Code Form is subject to the terms of the Mozilla Public
 * License, v. 2.0. If a copy of the MPL was not distributed with this
 * file, You can obtain one at https://mozilla.org/MPL/2.0/.
 * 
 * This Source Code Form is “Incompatible With Secondary Licenses”,
 * as defined by the Mozilla Public License, v. 2.0.
 */

#ifndef _PLATFORM_CONFIG_H
#define _PLATFORM_CONFIG_H

#ifdef TEST_CASE
@import Darwin.C.stdio;
@import Darwin.C.string;
@import Darwin.C.stdlib;
#else
#include <stdio.h>
#include <stdint.h>
#include <stdlib.h>
#include <string.h>
#include <sys/time.h>
#endif
typedef uint8_t  byte;
typedef int8_t  JBYTE;
typedef int16_t JSHORT;
typedef int32_t JINT;
typedef uint32_t UJINT;

#ifndef FP_ARITHMETIC
#define FP_ARITHMETIC        1
#endif

#ifndef FP_DOUBLE_ARITHMETIC
#define FP_DOUBLE_ARITHMETIC 1
#endif

#define TICKS_PER_TIME_SLICE 10
#define GC_INTERVAL 100

#ifndef VERIFY
#define VERIFY 1
#endif

#endif
