2023-01-12 00:12:12 +01:00
|
|
|
#ifndef _IMAGE_SAVER_H_
|
|
|
|
|
#define _IMAGE_SAVER_H_
|
|
|
|
|
|
2023-02-13 10:28:28 +01:00
|
|
|
#include <stdio.h>
|
2023-09-30 14:10:43 +02:00
|
|
|
#include <stdint.h>
|
2023-02-13 10:28:28 +01:00
|
|
|
|
|
|
|
|
// Save machine code from target_code to file at out_path. Returns 0 on success
|
2023-09-30 14:10:43 +02:00
|
|
|
int save_img(char *out_path, uint32_t *target_code);
|
2023-01-12 00:12:12 +01:00
|
|
|
|
|
|
|
|
#endif
|
