Started building the kernel memory manager in userspace

sandbox/vm/vm.h

@@ -0,0 +1,51 @@
+#ifndef SOCKS_VM_H_
+#define SOCKS_VM_H_
+
+#include <socks/types.h>
+
+/*******************************************
+ * Beginning of machine-specific definitions
+ *******************************************/
+typedef enum vm_zone_id {
+	VM_ZONE_DMA		= 0x01u,
+	VM_ZONE_NORMAL		= 0x02u,
+	VM_ZONE_HIGHMEM		= 0x03u,
+} vm_zone_id_t;
+/*******************************************
+ * End of machine-specific definitions.
+ *******************************************/
+
+typedef enum vm_memory_region_status {
+	VM_REGION_FREE		= 0x01u,
+	VM_REGION_RESERVED	= 0x02u,
+} vm_memory_region_status_t;
+
+typedef struct vm_zone_descriptor {
+	vm_zone_id_t zd_id;
+	phys_addr_t zd_base;
+	phys_addr_t zd_limit;
+} vm_zone_descriptor_t;
+
+typedef struct vm_zone {
+	unsigned z_reserved[32];
+} vm_zone_t;
+
+typedef struct vm_region {
+	vm_memory_region_status_t r_status;
+	phys_addr_t r_base;
+	phys_addr_t r_limit;
+} vm_region_t;
+
+typedef enum vm_page_flags {
+	VM_PAGE_RESERVED = 0x01u,
+} vm_page_flags_t;
+
+typedef struct vm_page {
+	uint32_t p_flags; /* vm_page_flags_t bitfield */
+} __attribute__((packed)) vm_page_t;
+
+extern void vm_bootstrap(void);
+
+extern void vm_page_init(vm_page_t *pg);
+
+#endif