verilog/dv/arduino_hello_world/arduino_hello_world.ino.cpp

#include <Arduino.h>
void setup();
void loop();
void setup() {
   Serial.begin(230400);
   Serial.print("Hello World!");
}
void loop() {
}