So that you know, this is the correct path to export AAVMF (counter-intuitively when comparing to x86-64):

https://gitlab.com/jarkkojs/linux-tpmdd-nixos/-/commit/f24224f0065df3376649e21492a1475f225d95e0

Took a while to figure this out :-)

Also figured out the appropriate options on macOS (with Apple Silicon) how to launch my build with QEMU:

# After doing docker compose up --build:
qemu-system-aarch64 -machine virt -cpu host -accel hvf -m 2G -nographic -bios output/firmware.fd -hda output/tpmdd-nixos.qcow2

I think I've now substituted my legacy BuildRoot environment with this NixOS based system, and gained some new benefits, such as being able to do aarch64 kernel development on macOS and test Rust kernel code.

Next up: send MAINTAINERS update (BuildRoot -> NixOS).

I guess my last week of holiday has been spent well :-)

#linux #kernel #nix #nixos

Nix:

1. Claims to be a functional language.
2. Still complains about declaration order.

I purposely put declarations in alphabetical order in my kernel testing shenanigans because I thought that it would stand the test.

What disappointment ;-)

#nix #nixos

I wrote some words, and formed some sentences. https://nonsense.fyi/posts/setting-up-tpm2-backed-luks-at-root-with-secure-boot-in-ubuntu/

In 2012, right before aarch64 toolchain became public, I wrote a post "what interest me in Arm world".

During last months I was thinking should I write an update.

There is a plan for a new blog post then. Content would not surprise.

https://marcin.juszkiewicz.com.pl/2012/09/29/what-interest-me-in-arm-world/

I tried for a while Zed as GUI editor, as I like the model where I use vim heavily, and some separate GUI editor for more like code browsing and understanding what I'm looking at (and meetings).

It's great in some areas but once you end up situation where you don't have your GPU driver temporarily available you are literally fucked. LLVMpipe experience is a horror story.

That's why I've returned on using my paid version of Sublime Text when I need a GUI editor because it just works in all situations and hardware generally quite well. It has both well implemented software and GPU pipelines.

This is also why I would look at its performance comparisons with a grain of salt as you could call Zed as unfinished implementation. It's not uncommon to boot a machine to some kind safe or rescue mode and it still would be nice to have full text editor experience.

Data source injection will definitely be a thing in AI-powered world. Especially in state level actors can implement this at scale and indirectly orchestrate both the learning process of LLM's and execution process of AI powered services (as many of them combine the static LLM with external resources scavenged during execution).

Michael Pound is pretty known researcher in various topics so definitely worth of watching:

https://www.youtube.com/watch?v=rAEqP9VEhe8

#ai #infosec

A short tutorial on how to get basic open source #FPGA #toolchain on #macOS, and running a trivial Verilog example:

https://datacore.nanographs.io/000+Publish/Installing+the+Open+Source+FPGA+tool+chain+on+Mac

The same tools are widely available on Linux distributions just using the standard packaging tools, thus this Mac post :-)

From last year, but still a relevant check list:

https://www.wired.com/story/how-to-stop-your-data-from-being-used-to-train-ai/

#AI #training #privacy

About a year now without Facebook 🥳

Two years without LinkedIn.

Never used list that comes into mind:

1. Instagram
2. Snap Chat
3. TikTok
4. Spotify (I use BandCamp and SoundCloud because they have all the interesting music. I never have had a thing for cherry-picked and uninteresting music)
5. Discord
6. TOR (As of today I haven't been in a situation where I need to buy narcotics or illegal sexual services or associated oriented material from Internet)

Projects touching this topic that I find interesting and trying out once in a while.

1. IRC 3.0: think time would right to establish wide IRC 3.0 network. There's a niche for this. I hope someone like OFTC or Libera Chat would start providing this for developers interested both having projects there or help to establish IRC 3.0.
2. Try Quiet: Look at https://tryquiet.org/. It's not yet stable enough for production but this could be a great alternative for Signal group chats for instance.

#SocialMedia #IRC #IRCv3

days since I broke kernel.org: 0

The best thing that happened to Servo in its history was most likely being orphaned from Mozilla.

The world needs "Linux of Web Engines" because while kernel runs the machinery, web is the interface that users interact with. Then both ends are covered and governed.

#servo #linux #mozilla

Tried Podman Desktop by Red Hat as it was first monitor I found.

It's IMHO fucking horrible. Looks bad and a complete mess, which is pretty relevant attribute for that purpose. I mean the use and purpose is to visualize the situation, right?

This feels much more sane GUI option: https://github.com/marhkb/pods

#podman

Introducing Orbit: The best way to use Mastodon and be social 🚀

- Smart Highlights let you see popular content from across your timelines
- Speed Dial to quickly mention and message accounts
- Supercharged for iOS 18 with Shortcuts and Widgets
- Contains all the latest and greatest Mastodon features

Give it a go here: https://apps.apple.com/app/saturn-mastodon-for-everyone/id6502952407

If I feel bad, I always look at what @servo has been doing lately. Usually it's like "we leveled up the performance" or "we are in par with CSS" and similar. Really happy to see how things are going for that project. Looks like a healthy open source community to me!

#servo #web

I've read a few times that "times were better when people used just Stack Overflow".

I never even fully got on board for that era and I still have a job...

I read books.

The smallest-ever force field map of nature.

Physicists have mapped the forces acting inside a #proton, showing in unprecedented detail how #quarks—the tiny #particles within—respond when hit by high-energy #photons.

The new result breaks down #space and #time into a fine grid, allowing simulating how the strong force—the fundamental interaction that binds quarks into #protons and #neutrons—varies across different regions inside the proton.

#physics
https://phys.org/news/2025-02-scientists-proton.html

With a simple `podman login` and `podman push` you can push containers from your local machine to your #forgejo instance, so you can use said containers on other machines as Forgejo also is an OCI-compliant container registry :) And now you can use these containers to build even more software with forgejo Actions and don't worry about Docker limiting traffic from their registry ;)

Now I tried Ghostty for the first time and IBM Plex looks amazing on it ;-)

So i guess it is a switch...

Are you looking for a first experience in Open Source professional coding? Apply to be a part of our Coding Experience (CE) program! All CE positions are paid, remote-friendly, and entail 450 hours of mentored hands-on work in one of six different teams. People from groups underrepresented in technology are especially invited to apply. Learn more: https://igalia.com/coding-experience/