You could use osTicket to do this, but I'm not sure that it would be the "best" way to do it.
But if you wanted to try it you could create a department (or help topic) specifically for devices.
You could make a form that has the serial# and make/model etc and add it to the Help Topic.
Where I work we were using Wasp.
https://www.waspbarcode.com/inventory-control/on-premise
It looks like there is a much newer version than we were running but I did not enjoy the ui for it. It felt like an old Dos application to me. but it did work okay for us (approx. 350 devices). It didn't not sync with Active Directory the way that we wanted it to. We are currently using a simple Excel doc.
