#ifndef _JOVE_BOOT_INITRD_H
#define _JOVE_BOOT_INITRD_H 1

#include "hal/obj.h"

int initrd_file_name(jove_owned_obj_t *obj, const char **nameptr);
int initrd_file_size(jove_owned_obj_t *obj, size_t *sizeptr);
int initrd_file_data(jove_owned_obj_t *obj, uintptr_t *dataptr);

void initrd_setup(void);

#endif