picofuse

init.h
Go to the documentation of this file.
1 
6 #pragma once
7 #include "stdio.h"
8 #include <stddef.h>
9 
10 #ifdef __cplusplus
11 extern "C" {
12 #endif
13 
29 void sys_init(int argc, char *argv[], size_t arena_size, sys_stdio_t stdio);
30 
35 void sys_exit(void);
36 
39 #ifdef __cplusplus
40 }
41 #endif
void sys_exit(void)
Cleans up the system on shutdown.
sys_stdio_t
Standard input/output backend types.
Definition: stdio.h:20
Standard input and output streams.
void sys_init(int argc, char *argv[], size_t arena_size, sys_stdio_t stdio)
Initializes the system on startup.