mirror of
https://github.com/drasko/codezero.git
synced 2026-01-12 19:03:15 +01:00
ba0e3ada21
Boot files and tasks are now initialised together. Theads can ask for particular space and thread ids, if they're unused. This enables us to get predefined ids for known tasks such as the VFS task. Fixes to README Other minor fixes.
30 lines
589 B
C
30 lines
589 B
C
/*
|
|
* Data that comes from the kernel.
|
|
*
|
|
* Copyright (C) 2007 Bahadir Balban
|
|
*/
|
|
#ifndef __MM_KDATA_H__
|
|
#define __MM_KDATA_H__
|
|
|
|
#include <l4/macros.h>
|
|
#include <l4/config.h>
|
|
#include <l4/types.h>
|
|
#include <l4/generic/physmem.h>
|
|
#include INC_PLAT(offsets.h)
|
|
#include INC_GLUE(memory.h)
|
|
#include INC_GLUE(memlayout.h)
|
|
#include INC_ARCH(bootdesc.h)
|
|
#include <vm_area.h>
|
|
|
|
struct initdata {
|
|
struct bootdesc *bootdesc;
|
|
struct list_head boot_file_list;
|
|
struct page_bitmap page_map;
|
|
};
|
|
|
|
extern struct initdata initdata;
|
|
|
|
int request_initdata(struct initdata *i);
|
|
|
|
#endif /* __MM_KDATA_H__ */
|