1/*
2** Copyright 2003, Axel D��rfler, axeld@pinc-software.de. All rights reserved.
3** Distributed under the terms of the MIT License.
4*/
5#ifndef KERNEL_BOOT_PLATFORM_ATARI_KERNEL_ARGS_H
6#define KERNEL_BOOT_PLATFORM_ATARI_KERNEL_ARGS_H
7
8
9#ifndef KERNEL_BOOT_KERNEL_ARGS_H
10#	error This file is included from <boot/kernel_args.h> only
11#endif
12
13#define SMP_MAX_CPUS 1
14
15#define MAX_PHYSICAL_MEMORY_RANGE 4
16#define MAX_PHYSICAL_ALLOCATED_RANGE 8
17#define MAX_VIRTUAL_ALLOCATED_RANGE 32
18
19
20typedef struct {
21	int dummy; // nothing yet XXX
22} platform_kernel_args;
23
24#endif	/* KERNEL_BOOT_PLATFORM_ATARI_KERNEL_ARGS_H */
25