Devicetree gpiote device is not being linked.

[wjabozzo]

The code reproducing the problem is uploaded here https://github.com/wjabozzo/zephyr_gpiote_problems/

I want to use pin based interruptions on a custom board and I am unable to make a simple hello_world to link when adding gpiote.

c:/ncs/toolchains/v2.3.0/opt/zephyr-sdk/arm-zephyr-eabi/bin/../lib/gcc/arm-zephyr-eabi/12.1.0/../../../../arm-zephyr-eabi/bin/ld.exe: app/libapp.a(main.c.obj): in function `main':
D:\wjabozzo\onedrive_wolke\proyectos\tests\gpiote\src\main.c:16: undefined reference to `__device_dts_ord_27'
collect2.exe: error: ld returned 1 exit status

Looking at the linker map, there is no mapping to the device.

$ grep __device_dts build/zephyr/zephyr_pre0.map
                0x0000000000004a58                __device_dts_ord_15
                0x0000000000004a70                __device_dts_ord_25

The setup is simple: with nrf connect for visual studio code I made new freestanding project based on the hello_world sample. Added a new board to use with nrf52840 and configured the devicetree to activate gpio and gpiote and to alias gpiote:

/ {
	model = "gpiote_test";
	compatible = "gpiote-test";
    ...
	aliases {
		gpiote = &gpiote;
	};
};

&gpio0 {
	status = "okay";
};

&gpiote {
	status = "okay";
};

&flash0 {
...

The following Kconfig variables were set in proj.conf to activate gpiote:

CONFIG_GPIO=y
CONFIG_GPIO_NRFX=y
CONFIG_NRFX_GPIOTE=y

And main.c the gpiote device is fetched and used once:

#include <zephyr/kernel.h>
#include <zephyr/device.h>

static const struct device *const missing_device = \
	DEVICE_DT_GET(DT_ALIAS(gpiote));

void main(void)
{
	printk("Hello World! %s\n", CONFIG_BOARD);
	printk("Gpiote is ready: %d\n", device_is_ready(missing_device));
}

Is this a bug or I am just misusing the devicetree?