πŸ‡΅πŸ‡± Polish IT company focused on real security, emphasizing the importance of freedom, ownership and full control over IT infrastructure. regalis.tech

Joined September 2021
187 Photos and videos
Pinned Tweet
A quick story from our CEO (@regalis_pl ) πŸ‘‡ I have been working on a new library/framework for programming embedded systems with modern C (-std >= c 23). I have started this project as an experiment with the RP2040 from {@Raspberry_Pi, @RaspberryPi_org} as a main CPU. The goal was simple - create hi-level, memory-safe zero-cost abstractions using modern C . I added an additional restriction for myself - do not use absolutely any external dependency. This requirement automatically means that everything comes down to real bare-metal programming. I ended up managing to implement literally everything myself without including any external header. Everything = linker scripts, memory maps and even a bootloader with a dedicated tool to embed a required checksum into the final UF2 file. Things that are up and running as for today: * booting from the external flash memory using hand-written bootloader (stage #2), * running the system at 125MHz: -> configuring a crystal oscillator (XOSC), -> configuring PLLs, -> configuring all system clocks (clk_gpout{0..3}, clk_ref, clk_sys, clk_peri, clk_usb, clk_adc, clk_rtc), * configuring a watchdog timer, * configuring timers, * sending/receiving data with UART, * configuring GPIOs, * configuring PWMs. #cpp #cpp23 #embedded #raspberrypi #security #rp2040 #stm32 #baremetal More interesting things below πŸ‘‡
6
6
80
17,665
Regalis Technologies retweeted
Apr 15
In 2023, we spent $3,934,099 on AWS other hosting. In 2026, our hosting support bill is down to ~$1m/year due to the cloud exit. Even including all the hardware buying, we will already have saved ~$4m by the end of this year. And going forward, it's ~$3m/yr in savings πŸ€‘
254
326
6,893
699,094
Regalis Technologies retweeted
If you are interested in low-level security of Linux, especially in the context of Yocto, @crosscon_eu, cache attacks, cold boot attacks, and OpenBMC, feel free to tune in.
4 May 2025
Zarhus Developerz Meetup 0x1 will start with an introduction by @pietrushnic, where he will explain what Zarhus is, its goals, and how it connects to @3mdeb_com services and products events.dasharo.com/event/4/z…
1
1
2
148
It seems that Hyprland is already a globally recognized wonder.😎 A fully deserved victory for @vaxryy πŸ‡΅πŸ‡± and the @hyprwm community. 🫑
my expression is not big enough to convey how i feel
1
106
Regalis Technologies retweeted
UEFI Secure Boot is not the only chain of trust technology in our repertoire, but we also like to explore ARM Cortex-A and occasionally with Cortex-M capabilities. Different tools but essentially the same concepts make your computing more trustworthy.
23 Apr 2025
We're returning with another fascinating story from our Root of Trust and Chain of Trust @Zarhus_com cookbook. This time, we approach #Rockchip RK3568B Secure Boot, SoC of open-schematics hardware from #Hardkernel named Odroid-M1. blog.3mdeb.com/2025/2025-04-…
1
2
140
One of the elements necessary to create a zero-dependency framework is to prepare the build system and configure the linker. πŸ‘‰ left side - Meson (cross compilation file); πŸ‘‰ right - linker script for the #RP2040 πŸ“‘ See our other posts for more context. #embedded #rp2040
196
Regalis Technologies retweeted
23 Sep 2024
If you care for free society, don't let anyone take away your freedom with fear, and please vote NO to "Chat Control" - to all #MEP in #Europe
1
18
17
1,626
Regalis Technologies retweeted
23 Sep 2024
Let's make learning Arm assembly more interactive πŸ§‘β€πŸ³
6
34
355
23,377
[Higher level abstractions - PWM] Another example of using our C 23 embedded programming framework. This time PWM, some implementation details and the example of use from the end user perspective. Full bare metal, C 23, zero dependencies πŸ‘¨β€πŸ­ #RP2040 #cpp #baremetal #embedded
1
156
Here is a real life demo of one of our projects (modern embedded framework). It is all C 23, bare metal, zero dependencies. Free as in freedom πŸ’ͺ πŸ’š Follow us for more info! πŸ‘¨β€πŸ­πŸ‘¨β€πŸ”§ #cpp #baremetal #RP2040 #RP2350 #firmware
1
15
1,071
[Low level internals - PWM] Bare metal, C 23, zero dependencies - using PWM on #RP2040; the low level part. #baremetal #cpp #RP2040 #raspberry_pico
2
156
[0/4] This thread will present examples of using the descriptive, type-safe API in the context of LCD displays using the framework/library we are working on. MCU is #RP2040 by @Raspberry_Pi. It is all C 23, real bare metal with zero dependencies. πŸ§΅πŸ‘‡ [0/4]
1
1
2
266
[3/4] Example usage! You can refer to your characters by the name you define. The position of this character in the display's CGRAM will be calculated at compile time! #cpp #embedded #baremetal #firmware #zero_dependency #rp2040 #raspberry_pico πŸ§΅πŸ‘‡
1
1
122
[4/4] Internals - Driver Implementation The implementation of the driver itself must be simple and clear. This is very important to me. The example shows how a given driver can accept any number of `Features`. This allows for behavior similar to #Rust traits. -- This was a thread prepared by Patryk (aka Regalis), CEO of Regalis Technologies Happy Hacking! πŸ‘¨β€πŸ­
1
101
We are working on a C bare metal library/framework. Zero dependencies, clean and self-descriptive API. #cpp #baremetal #firmware #rp2040 #rp2350 Check this thread for more info: x.com/regalis_tech/status/18…
Replying to @regalis_tech
For those who are here for the first time. Most of the challenges are related to the requirements I forced on myself. The most important of them: - zero dependencies (no memory maps (registers), no linker scripts, no hardware level abstractions), - no macros. Goals: true zero-cost abstractions with strong security guarantees. Overall, it was a journey "from an empty buffer in #Neovim to a fully functional high-level driver". Let's start with the lowest level. [0/8] πŸ§΅πŸ‘‡
3
245