2003-10-07 21:58:48 +00:00
|
|
|
/*
|
2005-01-10 07:36:08 +00:00
|
|
|
* Copyright 2002-2005, Axel Dörfler, axeld@pinc-software.de.
|
2004-11-15 17:59:15 +00:00
|
|
|
* Distributed under the terms of the MIT License.
|
|
|
|
*
|
|
|
|
* Copyright 2001-2002, Travis Geiselbrecht. All rights reserved.
|
|
|
|
* Distributed under the terms of the NewOS License.
|
|
|
|
*/
|
2003-10-07 21:58:48 +00:00
|
|
|
#ifndef KERNEL_BOOT_KERNEL_ARGS_H
|
|
|
|
#define KERNEL_BOOT_KERNEL_ARGS_H
|
|
|
|
|
|
|
|
|
|
|
|
#include <SupportDefs.h>
|
|
|
|
|
2004-05-31 22:44:24 +00:00
|
|
|
#include <boot/elf.h>
|
2004-11-15 17:59:15 +00:00
|
|
|
#include <boot/disk_identifier.h>
|
2005-01-10 07:36:08 +00:00
|
|
|
#include <boot/driver_settings.h>
|
|
|
|
|
2003-10-08 00:17:24 +00:00
|
|
|
#include <platform_kernel_args.h>
|
|
|
|
#include <arch_kernel_args.h>
|
|
|
|
|
2003-10-16 17:55:21 +00:00
|
|
|
|
2004-10-19 17:02:11 +00:00
|
|
|
#define CURRENT_KERNEL_ARGS_VERSION 1
|
|
|
|
#define MAX_KERNEL_ARGS_RANGE 8
|
2004-06-15 16:54:04 +00:00
|
|
|
|
2003-10-07 21:58:48 +00:00
|
|
|
typedef struct kernel_args {
|
2004-06-15 16:54:04 +00:00
|
|
|
uint32 kernel_args_size;
|
|
|
|
uint32 version;
|
|
|
|
|
2003-10-07 21:58:48 +00:00
|
|
|
uint32 cons_line;
|
|
|
|
addr_range bootdir_addr;
|
|
|
|
|
2004-05-31 22:44:24 +00:00
|
|
|
struct preloaded_image kernel_image;
|
2003-10-16 17:55:21 +00:00
|
|
|
struct preloaded_image *preloaded_images;
|
|
|
|
|
2003-10-07 21:58:48 +00:00
|
|
|
uint32 num_physical_memory_ranges;
|
|
|
|
addr_range physical_memory_range[MAX_PHYSICAL_MEMORY_RANGE];
|
|
|
|
uint32 num_physical_allocated_ranges;
|
|
|
|
addr_range physical_allocated_range[MAX_PHYSICAL_ALLOCATED_RANGE];
|
|
|
|
uint32 num_virtual_allocated_ranges;
|
|
|
|
addr_range virtual_allocated_range[MAX_VIRTUAL_ALLOCATED_RANGE];
|
2004-10-19 17:02:11 +00:00
|
|
|
uint32 num_kernel_args_ranges;
|
|
|
|
addr_range kernel_args_range[MAX_KERNEL_ARGS_RANGE];
|
2003-10-07 21:58:48 +00:00
|
|
|
|
|
|
|
uint32 num_cpus;
|
|
|
|
addr_range cpu_kstack[MAX_BOOT_CPUS];
|
|
|
|
|
2004-11-15 17:59:15 +00:00
|
|
|
struct {
|
|
|
|
disk_identifier identifier;
|
|
|
|
off_t partition_offset;
|
2005-10-14 21:22:19 +00:00
|
|
|
bool user_selected;
|
|
|
|
bool booted_from_image;
|
|
|
|
bool cd;
|
2004-11-15 17:59:15 +00:00
|
|
|
} boot_disk;
|
|
|
|
|
2005-01-10 07:36:08 +00:00
|
|
|
struct driver_settings_file *driver_settings;
|
|
|
|
|
2004-10-19 17:02:11 +00:00
|
|
|
struct {
|
|
|
|
bool enabled;
|
|
|
|
int32 width;
|
|
|
|
int32 height;
|
|
|
|
int32 depth;
|
|
|
|
addr_range physical_buffer;
|
|
|
|
} frame_buffer;
|
|
|
|
|
2003-10-07 21:58:48 +00:00
|
|
|
platform_kernel_args platform_args;
|
2003-10-08 00:17:24 +00:00
|
|
|
arch_kernel_args arch_args;
|
2003-10-07 21:58:48 +00:00
|
|
|
} kernel_args;
|
|
|
|
|
|
|
|
#endif /* KERNEL_BOOT_KERNEL_ARGS_H */
|