mirror of
https://github.com/drasko/codezero.git
synced 2026-01-12 19:03:15 +01:00
20 lines
533 B
C
20 lines
533 B
C
/*
|
|
* This is just to allocate some memory as a block device.
|
|
*/
|
|
#include <init.h>
|
|
#include <l4/macros.h>
|
|
#include <bootdesc.h>
|
|
#include <memfs/memfs.h>
|
|
#include L4LIB_INC_ARCH(syslib.h)
|
|
|
|
void *vfs_rootdev_open(void)
|
|
{
|
|
struct svc_image *rootfs_img = bootdesc_get_image_byname("rootfs");
|
|
unsigned long rootfs_size = rootfs_img->phys_end - rootfs_img->phys_start;
|
|
|
|
BUG_ON(rootfs_size < MEMFS_TOTAL_SIZE);
|
|
|
|
/* Map filesystem blocks to virtual memory */
|
|
return l4_map_helper((void *)rootfs_img->phys_start, __pfn(rootfs_size));
|
|
}
|