+ * \author Andrea Righi <arighi@develer.com>
+ */
+
+#include <cpu/irq.h>
+#include <drv/timer.h>
+#include <drv/ser.h>
+#include <drv/lcd_rit128x96.h>
+#include <gfx/gfx.h>
+#include <gfx/font.h>
+#include <gfx/text.h>
+#include <icons/logo.h>
+#include <stdio.h>
+
+#include "cfg/compiler.h"
+#include "cfg/cfg_gfx.h"
+
+#include "hw/hw_rit128x96.h"
+
+#define PROC_STACK_SIZE KERN_MINSTACKSIZE
+
+#if CONFIG_KERN_HEAP
+#define hp_stack NULL
+#define lp_stack NULL
+#define ser_stack NULL
+#define led_stack NULL
+#else
+static PROC_DEFINE_STACK(hp_stack, PROC_STACK_SIZE);
+static PROC_DEFINE_STACK(lp_stack, PROC_STACK_SIZE);
+static PROC_DEFINE_STACK(ser_stack, PROC_STACK_SIZE);
+static PROC_DEFINE_STACK(led_stack, PROC_STACK_SIZE);
+#endif
+
+extern Font font_helvB10;
+static uint8_t raster[RAST_SIZE(LCD_WIDTH, LCD_HEIGHT)];
+static Bitmap bm;
+
+static Process *hp_proc, *lp_proc, *res_proc;
+static hptime_t start, end;
+
+static Serial ser_port;
+
+static void led_init(void)
+{
+ /* Enable the GPIO port that is used for the on-board LED */
+ SYSCTL_RCGC2_R = SYSCTL_RCGC2_GPIOG;
+ /*
+ * Perform a dummy read to insert a few cycles delay before enabling
+ * the peripheral.
+ */
+ (void)SYSCTL_RCGC2_R;
+ /* Enable the GPIO pin for the LED */
+ GPIO_PORTG_DIR_R = 0x04;
+ GPIO_PORTG_DEN_R = 0x04;
+}
+
+INLINE void led_on(void)
+{
+ GPIO_PORTG_DATA_R |= 0x04;
+}
+
+INLINE void led_off(void)
+{
+ GPIO_PORTG_DATA_R &= ~0x04;
+}
+
+static void NORETURN led_process(void)
+{
+ int i;
+
+ for (i = 0; ; i++)
+ {
+ if (i & 1)
+ led_on();
+ else
+ led_off();
+ timer_delay(50);
+ }
+}
+
+static void NORETURN ser_process(void)
+{
+ char buf[32];
+ int i;
+
+ ser_init(&ser_port, SER_UART1);
+ ser_setbaudrate(&ser_port, 115200);
+
+ /* BeRTOS terminal */
+ for (i = 0; ; i++)
+ {
+ kfile_printf(&ser_port.fd, "\n\r[%03d] BeRTOS:~$ ", i);
+ kfile_gets_echo(&ser_port.fd, buf, sizeof(buf), true);
+ kfile_printf(&ser_port.fd, "%s", buf);
+ }
+}
+
+INLINE hptime_t get_hp_ticks(void)
+{
+ return (TIMER_HW_CNT - timer_hw_hpread()) +
+ timer_clock_unlocked() * TIMER_HW_CNT;
+}
+
+static void NORETURN res_process(void)
+{
+ const char spinner[] = {'/', '-', '\\', '|'};
+ char buffer[32], c;
+ int i;
+
+ for (i = 0; ; i++)
+ {
+ ticks_t clock;
+
+ clock = timer_clock_unlocked();
+
+ /* Display uptime (in ticks) */
+ buffer[sizeof(buffer) - 1] = '\0';
+ snprintf(buffer, sizeof(buffer) - 1,
+ "uptime: %lu sec", clock / 1000);
+ text_xprintf(&bm, 2, 0, TEXT_FILL, buffer);
+
+ /* Show context switch (in clock cycles) */
+ c = spinner[i % countof(spinner)];
+ buffer[sizeof(buffer) - 1] = '\0';
+ snprintf(buffer, sizeof(buffer) - 1,
+ "%c Context switch %c", c, c);
+ text_xprintf(&bm, 4, 0, TEXT_CENTER | TEXT_FILL, buffer);
+ buffer[sizeof(buffer) - 1] = '\0';
+ snprintf(buffer, sizeof(buffer) - 1,
+ " %lu clock cycles", end - start);
+ text_xprintf(&bm, 6, 0, TEXT_FILL, buffer);
+
+ /* Show context switch (in usec) */
+ buffer[sizeof(buffer) - 1] = '\0';
+ snprintf(buffer, sizeof(buffer) - 1,
+ " %lu.%lu usec",
+ ((end - start) * 1000000) / CPU_FREQ,
+ ((end - start) * (100000000 / CPU_FREQ)) % 100);
+ text_xprintf(&bm, 7, 0, TEXT_FILL, buffer);
+ rit128x96_lcd_blitBitmap(&bm);
+ }
+}
+
+static void NORETURN hp_process(void)
+{
+ while (1)
+ {
+ sig_wait(SIG_USER0);
+ end = get_hp_ticks();
+ timer_delay(100);
+ sig_send(lp_proc, SIG_USER0);
+ }
+}
+
+static void NORETURN lp_process(void)
+{
+ while (1)
+ {
+ start = get_hp_ticks();
+ sig_send(hp_proc, SIG_USER0);
+ sig_wait(SIG_USER0);
+ }
+}
+
+/**
+ * Show the splash screen