platform for developing on SQFMI's Watchy
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 

39 lines
884 B

#ifndef _WATCHOS2_h
#define _WATCHOS2_h
#include <Arduino.h>
#include "watchos_config.h"
#include "watchos_consts.h"
#include "watchos_hw.h"
#include "watchos_types.h"
#include "Event.h"
#include "EventListener.h"
#include "Kernel.h"
#include "Task.h"
#include "IRunnable.h"
class watchos
{
private:
static Kernel* s_kernel;
public:
static void initialize();
static Kernel* kernel();
static void panic(char* fmt...);
static void debug(char* fmt...);
static Event* event(kernel_handle_t event);
static Task* task(kernel_handle_t task);
static Task* task(well_known_handle_t handle);
static void reference(kernel_handle_t handle);
static void release(kernel_handle_t handle);
static kernel_handle_t run(Task* task);
static kernel_handle_t subscribe(Task* task, well_known_handle_t source_mask, uint16_t event_mask);
};
#endif