I am chromebook_kid on eBay. I sell GSC Debug Boards on eBay. I use a Jinlon (HP Elite c1030 Chromebook) as a daily driver running NixOS. Feel free to ask me any questions about Jinlon or NixOS on a Chromebook.