Mete Balcı

stm32h5 chip and nucleo-stm32h563zi board support

18

It seems there is no support for STM32H5 yet. Is it currently being worked on ? If not, and if I can, I am considering to add it with the...

I am not 100% sure but I think start by systemd scripts may fail because redis may not have started (not sure if initial redis connection must be present but...

HOCOCR2 is not defined in R_SYSTEM

1

HOCOCR2 is not defined in R_SYSTEM, is there a reason for this ?

BSP_CFG_HOCO_FREQUENCY is only used if there is FLL

2

I am trying the new Arduino R4 board which has RA4M1. While dumping clock related registers after restart, I realized `HOCOCR2` is `0 (24 MHz)` although `BSP_CFG_HOCO_FREQUENCY` is defined as...

improve space detection and remove pdfminer high level code

4

Text in the PDF file might not contain space character but the space might be indicated with an actual (additional) horizontal position difference between the glyphs before and after the...

Made changes to init scripts to support rpi3, based on the rpi3 blog post: https://docs.sel4.systems/Hardware/Rpi3.html

fix for gtag

2

I cannot make it work with datalayer.push calls but at least this works now with gtag calls. related to issue #30

[Feature Request] adjustable highlight border width

4

### Describe the problem/motivation Border width is not adjustable. ### Describe the solution you'd like I think highlight around the focused window is very useful but it might be hard...

### Describe the problem/motivation I think at the moment a workspace is assigned to a display, so when I start 1 is assigned to first monitor, 2 is to the...