# DKernelSkimWindow=off

**URL:** <https://sel4.discourse.group/t/dkernelskimwindow-off/963>\
**Category:** seL4 kernel\
**Created:** [April 13, 2025, 10:23am UTC](https://sel4.discourse.group/t/dkernelskimwindow-off/963 "2025-04-13T10:23:10Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![randomwalk3](https://yyz2.discourse-cdn.com/free1/user_avatar/sel4.discourse.group/randomwalk3/32/343_2.png) [@randomwalk3](https://sel4.discourse.group/u/randomwalk3)\
**Post date:** [April 13, 2025, 10:23am UTC](https://sel4.discourse.group/t/dkernelskimwindow-off/963/1 "2025-04-13T10:23:10Z")

</div>

Hi,  
I am testing sel4bench on real x86 board now. I found that if we use parameter DKernelSkimWindow=off, we can see nothing on the uart. Can anyone give me any advice.

---

<div class="post-metadata">

**Author:** ![Indan](https://yyz2.discourse-cdn.com/free1/user_avatar/sel4.discourse.group/indan/32/185_2.png) [@Indan](https://sel4.discourse.group/u/Indan)\
**Post date:** [May 19, 2025, 7:06pm UTC](https://sel4.discourse.group/t/dkernelskimwindow-off/963/2 "2025-05-19T19:06:23Z")

</div>

Only thing that comes to mind is that the kernel layout changes caused by the skim window hide a bug somewhere. Does it work if you change the `ALING(4k)` to `ALING(2M)` (or 4M if on 32-bit) in src/plat/pc99/linker.lds?

Or replace all the `#ifdef CONFIG_KERNEL_SKIM_WINDOW` with `#if 1`.