#include <string.h>
#include "utils.h"
#include "kernel_patches.c"

void package2_patch_kernel(void *kernel, size_t size) {
    (void)kernel;
    (void)size;
    /* TODO: What kind of patching do we want to try to do here? */
}