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