#include "bootargs.h"
#include "boot.h"
#include "string.h"
#include <stdint.h>
#include "print.h"

char*
bootargs_getarg(const char *key)
{
    size_t keylen = strlen(key);
    char *arg = jove_bootargs;
    for(; (uintptr_t)arg < (uintptr_t)jove_bootargs + jove_bootargs_len; arg += strlen(arg) + 1) {
        size_t arglen = strlen(arg);
        if(arglen < keylen) continue;

        for(size_t i = 0; i < keylen; i++) {
            if(arg[i] != key[i]) goto eol;
        }
        if(arg[keylen] != '=') continue;
        return arg + keylen + 1;
eol:
        continue;
    }
    return NULL;
}