#ifndef _JOVE_BOOT_H
#define _JOVE_BOOT_H 1

extern char *jove_bootargs;
extern int jove_bootargs_len;

#endif