#ifndef KERNEL_MEM_H
#define KERNEL_MEM_H

void mem_copy(uint8_t* source, uint8_t* destination, int num_bytes);

void mem_set(uint8_t* destination, uint8_t value, uint32_t length);

#endif //KERNEL_MEM_H