This is an automated email from the ASF dual-hosted git repository. gnutt pushed a change to branch pr613 in repository https://gitbox.apache.org/repos/asf/incubator-nuttx.git. at 1848e83 Added S32K1XX FlexTimer register definitions No new revisions were added by this update.