/*
 * Copyright 2009, Axel Dörfler, axeld@pinc-software.de.
 * All rights reserved. Distributed under the terms of the MIT License.
 */
#ifndef _KERNEL_ARCH_MIPSEL_KERNEL_ARGS_H
#define _KERNEL_ARCH_MIPSEL_KERNEL_ARGS_H

#ifndef KERNEL_BOOT_KERNEL_ARGS_H
#       error This file is included from <boot/kernel_args.h> only
#endif

#warning IMPLEMENT arch_kernel_args.h

#define _PACKED __attribute__((packed))

// kernel args
typedef struct {
        int                     cpu_type;
        int                     fpu_type;
        int                     mmu_type;
        int                     platform;
        int                     machine; 

        // architecture specific
        uint64          cpu_frequency;
        uint64          bus_frequency;
        uint64          time_base_frequency;
} arch_kernel_args;

#endif /* _KERNEL_ARCH_MIPSEL_KERNEL_ARGS_H */