This is an automated email from the ASF dual-hosted git repository. gnutt pushed a change to branch pr274 in repository https://gitbox.apache.org/repos/asf/incubator-nuttx.git. at db4e2db Update NuttxPortingGuide.html No new revisions were added by this update.