text: 
  #ifndef __PLATFORM_PICOC_H__
  #define __PLATFORM_PICOC_H__
  
  #include "picoc_mod.h"
  
  // Define all PicoC specific platform
  // components here.
  
  // Define all headers.
  #define PICOC_PLAT_LIB_RTC "rtc.h"
  #define PICOC_PLAT_LIB_LCD "lcd.h"
  
  #define PICOC_PLAT_VAR_RTC rtc
  #define PICOC_PLAT_VAR_LCD lcd
  
  #define PLATFORM_SPECIFIC_LIB_DEFINES\
    PICOC_PLAT_LIB_DEFINE(rtc);\
    PICOC_PLAT_LIB_DEFINE(lcd_disp)
  
  #define PLATFORM_SPECIFIC_INIT_DEFINES\
    PICOC_LIB_INIT(rtc);\
    PICOC_LIB_INIT(lcd)
  
  #define PLATFORM_SPECIFIC_INIT_CALLS
  
  #define PLATFORM_SPECIFIC_VAR_DEFINES\
    PICOC_VAR_DEFINE(rtc);\
    PICOC_VAR_DEFINE(lcd)
  
  #define PLATFORM_SPECIFIC_SETUP_FUNC_DEFINES\
    PICOC_LIB_SETUP_FUNC(rtc);\
    PICOC_LIB_SETUP_FUNC(lcd_disp)
  
  #endif // #ifndef __PLATFORM_PICOC_H__
  