Matt Fellenz

1. I see no issue with gradual typing where types are only checked if they're provided 2. However I would like there to be a mode—maybe a new CLI command—to...

Also, I'd love to work on this.

hm, in your prototype Content struct, why do you use NonNull and VTable instead of just `Box`?

Any update? Why does hdmi work in the armbian image but not here?

How do you check that the OS is running? Is there a way to preconfigure the SSID and security so that you can ssh in? Or are you using a...

BTW, here is the relevant section of Armbian config ``` # CONFIG_DRM_VGEM is not set # CONFIG_DRM_VKMS is not set # CONFIG_DRM_UDL is not set # CONFIG_DRM_RCAR_DW_HDMI is not set...

> there is only the option to load them as a module Hmm, I wonder, is this a technical limitation or just an oversight? If the latter, easy to patch.

There are also newer images available here: https://disk.yandex.ru/d/da8qJ8wyE1hhcQ/Nezha_D1/ArmbianTV I plan to test these soon, hopefully today. It may be helpful to figure out how they get it to work with...

I tested a couple of the images. For HDMI, the latest "current" image works, and all of the edge ones do not. The relevant section of the kernel config for...

Thanks anyway!