Perhaps Haiku isn’t the best OS for phones but I do like small OSs. My reasoning for wanting to use Genode was outlined in the other thread as well. I do have high hopes for the PinePhone being privacy oriented because it does have a kill-switch in the back cover for each separate subsystem. Using a microkernel would just be the icing on the cake as far as driver isolation goes.