* Copyright 2006, Ingo Weinhold <bonefish@cs.tu-berlin.de>.
* All rights reserved. Distributed under the terms of the MIT License.
*/
#ifndef _KERNEL_PPC_ARCH_PLATFORM_H
#define _KERNEL_PPC_ARCH_PLATFORM_H
#include <arch/platform.h>
struct real_time_data;
enum ppc_platform_type {
PPC_PLATFORM_OPEN_FIRMWARE = 0,
PPC_PLATFORM_U_BOOT
};
namespace BPrivate {
class PPCPlatform {
public:
PPCPlatform(ppc_platform_type platformType);
virtual ~PPCPlatform();
static PPCPlatform *Default();
inline ppc_platform_type PlatformType() const { return fPlatformType; }
virtual status_t Init(struct kernel_args *kernelArgs) = 0;
virtual status_t InitSerialDebug(struct kernel_args *kernelArgs) = 0;
virtual status_t InitPostVM(struct kernel_args *kernelArgs) = 0;
virtual status_t InitRTC(struct kernel_args *kernelArgs,
struct real_time_data *data) = 0;
virtual char SerialDebugGetChar() = 0;
virtual void SerialDebugPutChar(char c) = 0;
virtual void SetHardwareRTC(uint32 seconds) = 0;
virtual uint32 GetHardwareRTC() = 0;
virtual void ShutDown(bool reboot) = 0;
private:
ppc_platform_type fPlatformType;
};
}
using BPrivate::PPCPlatform;
#endif
