How to configure Raspberrry Pi as a DHCP server

This should be helpful:

https://help.ubuntu.com/community/isc-dhcp-server

Plus this:

https://www.raspberrypi.com/tutorials/cluster-raspberry-pi-tutorial/

Perhaps also this:

https://www.server-world.info/en/note?os=Debian_12&p=dhcp&f=1

And this is the manual for Network Manager:

https://wiki.archlinux.org/title/NetworkManager#