/*
 * main.c
 *
 *  Created on: Aug 24, 2011
 *      Author: Tiberiu
 */


#include <stdio.h>
#include <stdlib.h>
#include "mem.h"

void print_memmap()
{
	uint32 i;
	printf("memory map:\n");
	for (i = 0; i <= TotalFrames>>5; i++)
		printf("0x%x ", FrameMap[i]);
	printf("\n");
}

int main(int argc, char **argv) {

	MemPhInitialize(1024);
	MemPhReserveFrames(0, 0x20000);
	MemPhReserveFrames(0xF0000, 0x10000);

	// Find a free frame
	uint32 i;
	for (i = 0; i < 10; i++) MemPhAllocFrame(0,0);

	return 0;
}