/*
 * NPLL - Autogenerated C source - MINI armboot.bin
 * DO NOT MODIFY, AUTOGENERATED SOURCE
 */

#include <npll/types.h>

#ifndef _NPLL_ARMBOOT_BIN_H
#define _NPLL_ARMBOOT_BIN_H

extern const u8 __mini_armboot_bin_data[34648];
extern const int __mini_armboot_bin_size;

#endif /* _NPLL_ARMBOOT_BIN_H */
