Actually, Lighthouse, apart from not having a remote, is based on a WetekPlay STB, and is 100% compatible with their software. With a bit of research, you can flash their firmware and use it as a TV box as well. You can use a normal mouse and keyboard to navigate the interface or maybe an Android-compatible bluetooth remote.
We also have an experimental Live SD card that allows you to use Lighthouse firmware on a Wetek STB without flashing (it boots Lighthouse software as long as SD card is in the slot, and when you pop out the SD card, it goes back to booting the Wetek software).
Our software is probably not going to be able to coexist with resource-heavy media software on Raspberry Pi. But it’s just a matter of swapping the SD cards. Also, keep in mind that the Outernet receiver cannot receive files while you’re tuned into another channel to watch TV, so there’s no point in running both at the same time. For Raspberry Pi, you have things like OSMC that can turn it into a TV box.
As far as HDStar goes, our kernel uses a custom patch which is not merged into mainline kernel (and we don’t know if it will be merged any time soon) so it won’t work with most distros. You would need an alternative tuner such as PCTV 461e, and several others that were mentioned in our forums.
EDIT: We used to have some files that made HDStar work on Raspbian, but I doubt they would work nowadays, and we don’t intend to maintain separate drivers for distros we don’t use ourselves. Patches are public, if you want to compile the drivers yourself, though.