@stanwood
Hi, thank you, I talked to him and it looks like there is no problem with missing kernel option. I made an issue: https://github.com/waydroid/waydroid/issues/268