From time to time, I work on some simple projects on Raspberry Pi (version 3), of course under the control of Linux (Raspberry Pi OS). For this purpose I use Lazarus. The projects concern GPIO support (and to a limited extent: PWM, I2C, SPI). In my projects, I try to refer directly to the interfaces provided by Linux. For this purpose, I have been using the website "elixir.bootlin.com" for several years. Its advantage was that it allowed for quick and easy viewing and searching of Linux kernel source files. I am mainly interested in UAPI (headers) regarding support for: GPIO, I2C, SPI, PWM, etc. peripherals.
Today, unexpectedly, it turned out that this website was not working. In the suggestions returned by the Google search engine, information appears that it has been disabled. So, does any Free Pascal or Lazarus user know any other website that would allow you to browse Linux kernel source files in a similar way?
Of course, I'm going to look for such a website. However, I thought that if someone already uses a similar website, it wouldn't hurt to ask on the forum.