I suspect both would work as both are listed as a RealTek chipset (I haven’t used the specific card so I can’t make an absolute guarantee). If I were looking for similar NICs which were not too expensive I wouldn’t hesitate to try the two models you listed.
One review made me decide to add more. A review by one person on the less expensive single port model lists this in the review:
Cons: not a realtek RTL8111 chipset (its an Agere ET-1310)
If for some reason the manufacturer substituted a chipset and it isn’t really a RealTek, then it might not work out of the box. If it really is a RealTek chipset, then it should “just work”. The Agere ET-1310 chipset does require a different driver, although it is still supported (if such a substitution exists, then I would expect a requirement to add a driver, whereas RealTek won’t require any driver addition).
More In Depth:
I did find this specification page from the manufacturer for that less expensive single port model:
I then went to the downloads and looked at the “drivers” for Linux. This confirms it uses the RealTek r8168 driver, and this happens to be installed by default on Jetsons and most every PC distribution of Linux. It is my belief that this should “just work” (you wouldn’t have to download or install any software).
The more expensive model with dual ports has this manufacturer’s web page:
This latter model also has a driver download listed to be exactly the same RealTek r8168 driver as that of the single port model, and thus should also “just work”.
Keep in mind that you might still need to tell the operating system to use the card (which does not involve installing any new software), but for the most part, if these cards are plugged in to a router with a DHCP server (which is basically what a router is), then they should do as expected (some routers won’t give a DHCP address unless the MAC address of the network card is known, but that is a router issue and by default most routers just reply with an address). Perhaps with no configuration requirement at all (just run “ifconfig” to see what addresses are shown, and look for the specific ethernet card).