jarivanewijk opened a new pull request #1338: URL: https://github.com/apache/incubator-nuttx/pull/1338
## Summary This includes a few small fixes for the NXP S32K arch. - Typos / wrong names in s32k14x_irq.h, s32k1xx_memorymap.h and s32k1xx_pcc.h - Wrong base address for port input disable register in s32k1xx_pin.c - up_* still had to be changed to arm_* in some places. Some files came in with https://github.com/apache/incubator-nuttx/pull/1238 but had not been updated yet. ## Impact ## Testing Builds fine for S32K144EVB and RDDRONE-UAVCAN146 boards with most peripherals enabled. ---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: us...@infra.apache.org