kernel/fiasco/src/drivers/ppc32/kernel_uart-ppc32.cpp

   1 IMPLEMENTATION [ppc32 && serial]:
   2
   3 #include <boot_info.h>
   4
   5 IMPLEMENT
   6 bool Kernel_uart::startup(unsigned, int /*irq*/)
   7 {
   8   return Uart::startup(Boot_info::uart_base(), 1);
   9 }