52 lines
1.2 KiB
C++
52 lines
1.2 KiB
C++
/*
|
|
* 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;
|
|
};
|
|
|
|
} // namespace BPrivate
|
|
|
|
using BPrivate::PPCPlatform;
|
|
|
|
|
|
#endif // _KERNEL_PPC_ARCH_PLATFORM_H
|