#ifndef __VXBOOT_BUILTIN_H__
# define __VXBOOT_BUILTIN_H__

#include <stddef.h>
#include <stdint.h>

extern int ls_main(int argc, char **argv);
extern int os_main(int argc, char **argv);
extern int help_main(int argc, char **argv);

#endif /*__VXBOOT_BUILTIN_H__*/