Posts
4328
Following
312
Followers
445
Software Engineer at Opinsys Oy
Entrepreneur at Siltakatu Solutions Oy

OpenPGP: 3AB05486C7752FE1
jarkko

Jarkko Sakkinen

first work day at new job tomorrow
1
0
7
jarkko

Jarkko Sakkinen

Reply to @jarkko
Just wanted get that out of my system... Have not felt pro-active stress about anything else except my own personal fuck ups in life, until the recent times.
0
0
2
jarkko

Jarkko Sakkinen

Edited 1 month ago
It's hard to keep some of the days head together when the world events are so distracting, and hell is breaking loose from all directions and angles.

#news #politics #war
1
3
5
jarkko

Jarkko Sakkinen

Reply to @Tutanota@mastodon.social
@Tutanota I'd add a recommendation if you still need to use WhatsApp e.g., with your mom:

1. Use 99% time alternative.
2. For few selected persons (like old relatives) use WhatsApp, if there is no other option.

That kind destroys the market value of the acquired metadata and you don't have to feel bad using WhatsApp.
0
0
1
jarkko

Jarkko Sakkinen

Reply to @jarkko
@roberth I also think as per learning using Nix like without installing it as a building block for embedded image builder together with Docker/Podman has thought me probably more right from the get go than if I had repealed and replaced my Fedora installation with NixOS :-) I really had to "get" some of the bits to make this right and ended up even do a bit of programming (at least the version parser).

You can enjoy operating systems in many ways :-)
0
0
0
jarkko
repeated
PekkaKallioniemi@defenseofliberty.social

Pekka Kallioniemi

It is now official.

5
3
0
jarkko
repeated
kenshirriff@oldbytes.space

Ken Shirriff

Intel's Pentium processor (1993). Looking inside the chip , I found a large, complicated circuit just to multiply by 3 (lower right). Why? The Pentium uses a fast technique to multiply 64-bit numbers and it turns out that 3 is a special case. Let's take a closer look at multiplication... 1/N

1
12
0
jarkko

Jarkko Sakkinen

Reply to @roberth@functional.cafe
@roberth I'm always interested on internals so I thank you for all the wisdom :-) This highlighted me that there exist a thing called "lib.fix" so over time I can dive deeper and have some fuzzy ideas at least. And at least I know the abstract concept of fixed point combinators from algebra classes...

I'm just sort of "build useful product first, learn second" rather than other way around :-) I did something and now I want to learn what I actually did.
1
0
1
jarkko

Jarkko Sakkinen

Reply to @jarkko
Edited 1 month ago
@roberth self-discovery mode, i.e. i peeked and poked without much sleep or not knowing what i'm doing for about a week until i started to get output that i was looking for :-) that's how the current flake.nix and configuration.nix materialized...
1
0
0
jarkko

Jarkko Sakkinen

Reply to @roberth@functional.cafe
@roberth, thanks for informative response appreciate it!

I did this during last week timeline in self-discovery mode without actually knowing what I'm doing but eventually got things working:

https://gitlab.com/jarkkojs/linux-tpmdd-nixos/-/blob/main/flake.nix?ref_type=heads

The project aims to do firmware and OS images for testing my master at kernel.org. Here the particular statements that I were referring to with that post are kernel* statements in the let expression. If I put them in alphabetical order the build system will complain.

I do faintly recall from algebra classes preimages and image and fixed point combinators so what you're saying is not totally alien to me but neither do I fully connect that to this reality nor how "lib.fix" connects to the basic algebra concept :-)

I did this project because I got idea that maybe I could use the combination of Nix and Docker (Podman) to replace my old Buildroot environment. Together they kind of create a rudimentary embedded build system...
2
1
1
jarkko

Jarkko Sakkinen

Reply to @jarkko
@roxedus and generally hope that both initrd generation and MOK key management will be piggybacked into systemd itself as there's bunch of tools doing mostly the same with cosmetic differences...
0
0
0
jarkko

Jarkko Sakkinen

Reply to @roxedus@mastodon.linuxserver.io
@roxedus yeah, not criticizing, i was just wondering how things are :-)
1
0
0
jarkko

Jarkko Sakkinen

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
0
1
1
jarkko

Jarkko Sakkinen

Reply to @jarkko
... please don't take this dead seriously ;-)
0
0
0
jarkko

Jarkko Sakkinen

Edited 1 month ago
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
2
0
1
jarkko

Jarkko Sakkinen

Reply to @jarkko
@roxedus Dracut is just initrd generator so it is does not do whole a lot...
1
0
0
jarkko

Jarkko Sakkinen

Reply to @roxedus@mastodon.linuxserver.io
@roxedus Hmm... so systemd does not have anything like sbctl? :-) I'm lagging behind of its latest feature at least couple of years.

I wonder also that what is the existential reason of having Dracut when we have bootctl, UKI and systemd-cryptenroll, i.e. perhaps we could in the future render out some of this complexity...

Thanks for the write up anyhow!
2
0
0
jarkko
repeated
roxedus@mastodon.linuxserver.io

Roxedus lsio

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

3
2
0
jarkko
repeated
hrw@society.oftrolls.com

Marcin Juszkiewicz 🙃

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/

0
2
0
jarkko

Jarkko Sakkinen

Reply to @aldonogueira@procial.tchncs.de
Edited 1 month ago
@aldonogueira Yeah, Vulkan is fine as feature, i.e. if it exists, then it can be utilized.

Not implementing a supplemental rendering pipeline is a definition of unfinished product :-)
0
0
0
Show older
About social.kernel.org

Terms of service

  1. Please do not use this service in violation of the Linux Kernel Code of Conduct. Doing so will result in your account suspension with the referral of the matter to the CoC committee.

  2. "Repeating"/"boosting" someone else's status on this platform will be treated as endorsement and will fall under rule #1.

  3. You are encouraged to use this platform to promote your work on the Linux Kernel, but there is no restriction on permitted topics (with the exception of anything covered by #1 above).

  4. There is no requirement to post in English, but it should be considered the primary language of communication on this platform.

Privacy notice

The admins of this service have access to all posted statuses. They aren't looking, but if it's something they shouldn't know about, then you should not post it on this platform.

Please see the Linux Foundation Privacy Policy, which applies to this platform as well.

Getting your own account

If you would like an account on this instance, please check that the following applies to you:

  • You are listed in MAINTAINERS or CREDITS

  • OR: You have a kernel.org account or email address

  • OR: You have a long and established history of involvement with the Linux Kernel

If the above is true and you agree with the Terms of Service and Privacy Notice listed above, please use these instructions to request an account: