/*
 * Copyright 2009, Johannes Wischert, johanneswi@gmail.com.
 * Distributed under the terms of the MIT License.
 */


#include <commpage.h>

#include <string.h>

#include <KernelExport.h>

#include <cpu.h>
#include <elf.h>
#include <smp.h>


status_t
arch_commpage_init(void)
{
	/* no optimized memcpy or anything yet */
	/* we don't use it for syscall yet either */
	// add syscall to the commpage image
//	image_id image = get_commpage_image();
#warning ARM:IMPLEMENTME
	return B_OK;
}


status_t
arch_commpage_init_post_cpus(void)
{
#warning ARM:IMPLEMENTME
	return B_OK;
}