@ruben I'm using a Dell Latitude E5470, Core i5. It probably has about half the resources of your target machine although it still runs Debian 13 just fine.