//
// Created by Stepan Usatiuk on 13.08.2023.
//

#ifndef FICUS_GLOBALS_H
#define FICUS_GLOBALS_H

#include <cstdint>

#define KERN_STACK_SIZE (1024 * 1024)
extern uint64_t KERN_stack[KERN_STACK_SIZE] __attribute__((aligned(16)));

class AddressSpace;
extern AddressSpace *BOOT_AddressSpace;
extern AddressSpace *KERN_AddressSpace;

#define TASK_POINTER 0x10000

#endif //FICUS_GLOBALS_H
