Checking it they have:
#
# NXP LPC176x ARM Cortex-M3
#
[env:LPC1768]
platform = https://github.com/p3p/pio-nxplpc-arduino-lpc176x/archive/master.zip</div><div>framework = arduino
board = nxp_lpc1768
build_flags = -DTARGET_LPC1768 -DU8G_HAL_LINKS -IMarlin/src/HAL/HAL_LPC1768/include -IMarlin/src/HAL/HAL_LPC1768/u8g ${common.build_flags}
# debug options for backtrace
# -funwind-tables
# -mpoke-function-name
lib_ldf_mode = off
lib_compat_mode = strict
extra_scripts = Marlin/src/HAL/HAL_LPC1768/upload_extra_script.py
src_filter = ${common.default_src_filter} +<src/HAL/HAL_LPC1768>
monitor_speed = 250000
lib_deps = Servo
LiquidCrystal
U8glib-HAL=https://github.com/MarlinFirmware/U8glib-HAL/archive/dev.zip</div><div> TMCStepper@<1.0.0
in platformio.ini so there seems to be a support available for that processor with arduino framework, which makes it much easier of course. The Due is also a Cortex-M3 so I guess the differences in programming are marginal. I wonder what the difference to LP1769 is as that is what smoothieboard uses and I own that board at least. Don't have a re-arm.
Anyhow, also hal will not be identical to marlin it might help finding out how some problems need to be solved. But I need to investigate more - don't know the marlin sources good enough at the moment.