Most of the run scripts available require pkg/[drivers_interactive_pkg], but pkg/drivers_interactive-imx6q_sabrelite does not exist in the genodelabs depot.
Has it not been written yet?
Most of the run scripts available require pkg/[drivers_interactive_pkg], but pkg/drivers_interactive-imx6q_sabrelite does not exist in the genodelabs depot.
Has it not been written yet?
We do not publish packages for this (and also other) platforms. Binary releases are only available for pc (64-bit), pinephone, and mnt_reform2.
That’s okay! I’m sure I can still make something cool with Genode on this SoC.
Do you have any recommendations on what I could start out with? Maybe something non-interactive that I could build that would allow me to test seL4 or base-hw on this iMX.6?
Any suggestions are appreciated for sure
I did not try that by myself but you may go for run/lighttpd on imx6 to setup a basic network scenario. Back then when we enabled this platform, we addressed java-based network services for smart home/IOT.
I would love to experiment with lighttpd in Genode and I think that would be a great place to start -thank you for the suggestion
Are there any other really basic run scripts for performing hardware tests or diagnostics?
I added a interactive imx6q_sabrelite pkg to the the imx repository, but did not tested it too long. The package will be of limited use, since we don’t have a framebuffer for this board, but usb should be working with hw. For sel4 please also use the latest genode/staging, since I’m currently try to improve the current state of our support. On this board also an open issue exists regarding usb support (imx6q_sabrelite: usb_hid_raw fails on hw, foc and seL4 · Issue #5597 · genodelabs/genode · GitHub). With the WiP commit from there, USB is also working for me for seL4.
usb_hid_raw.run is another simple driver test