Re: Intel fb debug output

[Johannes Kliemann]

Stefan Kalkowski, Josef Söntgen, thank you for the quick info.

--
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main

Re: Intel fb debug output

[Josef Söntgen]

Hello Johannes,

* Johannes Kliemann  [2017-04-10 09:42:41 
+0200]:
> I want to enable the debug output in the Intel framebuffer (to see
> messages printed by DRM_DEBUG_KMS). This is usually done by adding the
> boot parameter `drm.debug=0xe`.
> 
> How would I enable this in Genode with Nova?

There is no user facing configuration knob in the intel_fb_drv. You have
to set the 'drm_debug' variable directly in the source code. It is located
at 'repos/dde_linux/src/drivers/framebuffer/intel/lx_emul.cc:821'.

Regards,
Josef

-- 
Josef Söntgen
Genode Labs

http://www.genode-labs.com/ · http://genode.org/

--
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main

Re: Intel fb debug output

[Stefan Kalkowski]

Hi Johannes,

On 04/10/2017 09:42 AM, Johannes Kliemann wrote:
> Hi,
> 
> I want to enable the debug output in the Intel framebuffer (to see
> messages printed by DRM_DEBUG_KMS). This is usually done by adding the
> boot parameter `drm.debug=0xe`.
> 
> How would I enable this in Genode with Nova?

in contrast to the original Linux kernel version, you have to change the
drm.debug value at compilation time when building for Genode. You can
change the value drm_debug here:

  repos/dde_linux/src/drivers/framebuffer/intel/lx_emul.cc:811

best regards
Stefan

> 
> JK
> 
> --
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, Slashdot.org! http://sdm.link/slashdot
> ___
> genode-main mailing list
> genode-main@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
> 

-- 
Stefan Kalkowski
Genode Labs

https://github.com/skalk · http://genode.org/

--
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main

Intel fb debug output

[Johannes Kliemann]

Hi,

I want to enable the debug output in the Intel framebuffer (to see
messages printed by DRM_DEBUG_KMS). This is usually done by adding the
boot parameter `drm.debug=0xe`.

How would I enable this in Genode with Nova?

JK

--
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main

Re: Genode on i.MX6Q Sabre Lite

[Norman Feske]

Hello Yevgeny

> For now I just want to confirm one thing about core-seL4.mk file. Want
> to make sure that I understand everything correctly.
> The files that are included through SRC_CC in core-seL4.mk. Not all of
> them are present in base-seL4/src/core. So, where does it pull the files
> that are not in base-sel4/src/core? Do they come from
> repos/base/src/core directory?

the files are obtained according to the 'vpath' definitions at the end
of the core-sel4.mk file. If you want to inspect the build steps in
detail, I recommend you to append the "VERBOSE=" argument when invoking
make. E.g.,

  make core/sel4 VERBOSE=

Cheers
Norman

-- 
Dr.-Ing. Norman Feske
Genode Labs

http://www.genode-labs.com · http://genode.org

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

--
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main