Jarkko Sakkinen
Posts
4388Following
315Followers
464Entrepreneur at Siltakatu Solutions Oy
OpenPGP: 3AB05486C7752FE1
Jarkko Sakkinen
repeated
repeated
Ken Shirriff
kenshirriff@oldbytes.space
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 Sakkinen
jarkko
@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.
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
@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 Sakkinen
jarkko
@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...
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 Sakkinen
jarkko
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
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 Sakkinen
jarkko
@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!
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 Sakkinen
repeated
repeated
Roxedus 
roxedus@mastodon.linuxserver.io
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 Sakkinen
repeated
repeated
Marcin Juszkiewicz 🙃
hrw@society.oftrolls.comIn 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
@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 :-)
Not implementing a supplemental rendering pipeline is a definition of unfinished product :-)
0
0
0
Jarkko Sakkinen
jarkko
Edited 3 months ago
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.
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.
1
0
1
@jwildeboer right i had forgotten that one :-)
I like how Fediverse transforms Internet economy from feudalism from capitalism, and that is why I strongly support this movement.
It makes Internet like a city with shops or chain of shops (instance or network instances) instead of a castle owner (like Bezos) owning the market square where all the trade happen, collecting heavy taxes and generally enslaving people. And being against this is called by some as communism, which does not fit to my logic at all.
I don't know how other people see it but in my world view there is no healthy market capitalism on Internet. It's actually medieval times economy that we have at the moment. What e.g. Fediverse implements is democracy and capitalism which provides breathing space for small business owners. Right now we all are like land slaves.
I like how Fediverse transforms Internet economy from feudalism from capitalism, and that is why I strongly support this movement.
It makes Internet like a city with shops or chain of shops (instance or network instances) instead of a castle owner (like Bezos) owning the market square where all the trade happen, collecting heavy taxes and generally enslaving people. And being against this is called by some as communism, which does not fit to my logic at all.
I don't know how other people see it but in my world view there is no healthy market capitalism on Internet. It's actually medieval times economy that we have at the moment. What e.g. Fediverse implements is democracy and capitalism which provides breathing space for small business owners. Right now we all are like land slaves.
0
0
0
@jwildeboer it's a genuine feature in this platform, i.e. genuine in tech vs genuine in ideology.
This is why I believe that in long-term Servo will be a great success also commercially: it's not just free software no strings attached to Mozilla or Google. It's also superior in tech e.g. considering its GPU-first rendering pipeline, and multi-core design. Competitors have duct taped software rendering pipelines into compositors over the years but GPU is not in the genes of Gecko or Chromium. Also they are not that great spreading the workloads at high granularity to multiple CPU cores.
This is why I believe that in long-term Servo will be a great success also commercially: it's not just free software no strings attached to Mozilla or Google. It's also superior in tech e.g. considering its GPU-first rendering pipeline, and multi-core design. Competitors have duct taped software rendering pipelines into compositors over the years but GPU is not in the genes of Gecko or Chromium. Also they are not that great spreading the workloads at high granularity to multiple CPU cores.
0
0
0
@jwildeboer I'm waiting for someone to realize that Mastodon and Fediverse could be used as platform for code sharing sites :-) E.g., heavily customized Mastodon instance just for sharing snippets (like gists).
This is where I see strong potential for also commercial use: social development tools. Would be IMHO perfect place for Red Hat to step in and show how it's done ;-)
This is where I see strong potential for also commercial use: social development tools. Would be IMHO perfect place for Red Hat to step in and show how it's done ;-)
1
0
0
@jwildeboer example :-) https://social.kernel.org/notice/AgzHqrYFGplZuYr3gG
should start using some standard hashtag for these...
should start using some standard hashtag for these...
0
0
1