l4/pkg/bootstrap/server/src/ARCH-ppc32/init_kip_v2-arch.cc

   1 /*
   2  * (c) 2009 Technische Universität Dresden
   3  * This file is part of TUD:OS and distributed under the terms of the
   4  * GNU General Public License 2.
   5  * Please see the COPYING-GPL-2 file for details.
   6  */
   7 #include "init_kip.h"
   8
   9 #include <l4/drivers/of_if.h>
  10
  11 void
  12 init_kip_v2_arch(l4_kernel_info_t* l4i)
  13 {
  14   L4_drivers::Of_if of_if;
  15   l4i->total_ram = of_if.detect_ramsize();
  16   l4i->frequency_cpu = (l4_uint32_t)of_if.detect_cpu_freq() / 1000; //kHz
  17   l4i->frequency_bus = (l4_uint32_t)of_if.detect_bus_freq();
  18
  19   of_if.vesa_set_mode(0x117);
  20 }