/*
 * FCode boot loader
 */

#include "openbios/config.h"
#include "kernel/kernel.h"
#include "libopenbios/bindings.h"
#include "sys_info.h"
#include "loadfs.h"
#include "boot.h"
#define printf printk
#define debug printk

int fcode_load(const char *filename)
{
    int retval = -1;
    uint8_t fcode_header[8];
    unsigned long start, size;
    unsigned int offset;

    if (!file_open(filename))
        goto out;

    for (offset = 0; offset < 16 * 512; offset += 512) {
        file_seek(offset);
        if (lfile_read(&fcode_header, sizeof(fcode_header))
            != sizeof(fcode_header)) {
            debug("Can't read FCode header from file %s\n", filename);
            retval = LOADER_NOT_SUPPORT;
            goto out;
        }
        switch (fcode_header[0]) {
        case 0xf0: // start0
        case 0xf1: // start1
        case 0xf2: // start2
        case 0xf3: // start4
        case 0xfd: // version1
            goto found;
        }
    }

    debug("Not a bootable FCode image\n");
    retval = LOADER_NOT_SUPPORT;
    goto out;

 found:
    size = (fcode_header[4] << 24) | (fcode_header[5] << 16) |
        (fcode_header[6] << 8) | fcode_header[7];

    start = 0x4000;

    printf("Loading FCode image...\n");

    file_seek(offset + sizeof(fcode_header));

    if ((unsigned long)lfile_read((void *)start, size) != size) {
        printf("Can't read file (size 0x%lx)\n", size);
        goto out;
    }

    debug("Loaded %lu bytes\n", size);

    debug("entry point is %#lx\n", start);
    printf("Evaluating FCode...\n");

    PUSH(start);
    PUSH(1);
    fword("byte-load");

    retval = 0;

out:
    file_close();
    return retval;
}