#include <stdint.h>
#include "app_urv_regs.h"

void
init (void)
{
  volatile struct app_urv_regs *regs =
    (volatile struct app_urv_regs *)0x100000;

  regs->mailboxes.mboxout = 0x12345678;
}

void
main (void)
{
}
