mphalport.h

/*
 * This file is part of the MicroPython for Monocle project:
 *      https://github.com/brilliantlabsAR/monocle-micropython
 *
 * Authored by: Josuah Demangeon (me@josuah.net)
 *              Raj Nakarja / Brilliant Labs Ltd. (raj@itsbrilliant.co)
 *
 * ISC Licence
 *
 * Copyright © 2023 Brilliant Labs Ltd.
 *
 * Permission to use, copy, modify, and/or distribute this software for any
 * purpose with or without fee is hereby granted, provided that the above
 * copyright notice and this permission notice appear in all copies.
 *
 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES WITH
 * REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY
 * AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY SPECIAL, DIRECT,
 * INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM
 * LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR
 * OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR
 * PERFORMANCE OF THIS SOFTWARE.
 */

#pragma once

#include <stdbool.h>
#include <stddef.h>
#include <stdint.h>
#include "mphalport.h"
#include "nrfx_rtc.h"
#include "touch.h"

typedef int mp_int_t;
typedef unsigned int mp_uint_t;
typedef long mp_off_t;

mp_uint_t mp_hal_ticks_ms(void);

void mp_hal_set_interrupt_char(int c);

int mp_hal_generate_random_seed(void);

touch_button_t touch_get_state(void);

typedef enum ble_tx_channel_t
{
    REPL_TX,
    DATA_TX,
} ble_tx_channel_t;

bool ble_are_tx_notifications_enabled(ble_tx_channel_t channel);

size_t ble_get_max_payload_size(void);

bool ble_send_raw_data(const uint8_t *bytes, size_t len);