platform_init()

This function sets the IPU clocks, initializes the board clock and sets the display panel type to VGA. This is the code for platform_init:

void platform_init(void) {
  volatile unsigned int temp;
  
  /* config IPU hsp clock, derived from AXI B */
  temp = *(volatile unsigned int *)(CCM_BASE_ADDR + CLKCTL_CBCMR);
  temp &= ~(0x000000C0);
  temp |= 0x00000040;
  *(volatile unsigned int *)(CCM_BASE_ADDR + CLKCTL_CBCMR) = temp;
  
  // board_init
  init_clock(); // 32768 rate (hardcoded)
  
  // if BOARD_ID_MX53_SBRTH_LCB
  ipu_display_panel = DISP_DEV_VGA;
}