#aarch64 — Public Fediverse posts

📰 Wow, they finally finished those #seL4 security proofs! 🎉 Now your apps can remain blissfully unaware of each other on #AArch64, just like the rest of us were of these proofs existing. 🙄🔒 #GroundbreakingNews #MathsAreFun
https://proofcraft.systems/news-2026/#2026-08-21 #GroundbreakingNews #MathsAreFun #SecurityProofs #AppSecurity #HackerNews #ngated

📰 Wow, they finally finished those #seL4 security proofs! 🎉 Now your apps can remain blissfully unaware of each other on #AArch64, just like the rest of us were of these proofs existing. 🙄🔒 #GroundbreakingNews #MathsAreFun
https://proofcraft.systems/news-2026/#2026-08-21 #GroundbreakingNews #MathsAreFun #SecurityProofs #AppSecurity #HackerNews #ngated

📰 Wow, they finally finished those #seL4 security proofs! 🎉 Now your apps can remain blissfully unaware of each other on #AArch64, just like the rest of us were of these proofs existing. 🙄🔒 #GroundbreakingNews #MathsAreFun
https://proofcraft.systems/news-2026/#2026-08-21 #GroundbreakingNews #MathsAreFun #SecurityProofs #AppSecurity #HackerNews #ngated

📰 Wow, they finally finished those #seL4 security proofs! 🎉 Now your apps can remain blissfully unaware of each other on #AArch64, just like the rest of us were of these proofs existing. 🙄🔒 #GroundbreakingNews #MathsAreFun
https://proofcraft.systems/news-2026/#2026-08-21 #GroundbreakingNews #MathsAreFun #SecurityProofs #AppSecurity #HackerNews #ngated

📰 Wow, they finally finished those #seL4 security proofs! 🎉 Now your apps can remain blissfully unaware of each other on #AArch64, just like the rest of us were of these proofs existing. 🙄🔒 #GroundbreakingNews #MathsAreFun
https://proofcraft.systems/news-2026/#2026-08-21 #GroundbreakingNews #MathsAreFun #SecurityProofs #AppSecurity #HackerNews #ngated

SeL4 security proofs now complete on AArch64

https://proofcraft.systems/news-2026/#2026-08-21

Comments: https://news.ycombinator.com/item?id=49418255

#HackerNews #SeL4 #AArch64 #security #proofs #ProofCraft #cybersecurity #technews

SeL4 security proofs now complete on AArch64

https://proofcraft.systems/news-2026/#2026-08-21

Comments: https://news.ycombinator.com/item?id=49418255

#HackerNews #SeL4 #AArch64 #security #proofs #ProofCraft #cybersecurity #technews

SeL4 security proofs now complete on AArch64

https://proofcraft.systems/news-2026/#2026-08-21

Comments: https://news.ycombinator.com/item?id=49418255

#HackerNews #SeL4 #AArch64 #security #proofs #ProofCraft #cybersecurity #technews

SeL4 security proofs now complete on AArch64

https://proofcraft.systems/news-2026/#2026-08-21

Comments: https://news.ycombinator.com/item?id=49418255

#HackerNews #SeL4 #AArch64 #security #proofs #ProofCraft #cybersecurity #technews

SeL4 security proofs now complete on AArch64

https://proofcraft.systems/news-2026/#2026-08-21

Comments: https://news.ycombinator.com/item?id=49418255

#HackerNews #SeL4 #AArch64 #security #proofs #ProofCraft #cybersecurity #technews

It's been 0 days since I wanted to (*) apply a patch from an email-list to the Linux source tree. And it has been a bloody long while since I last had to do that!

(*) Patch from November is for a single file and has already bit-rotted sufficiently that it doesn't apply cleanly, but it's straight-forward C that I can whip into shape myself.

Why, yes, of course I'm dabbling with #aarch64 and #CoreSight again, why you're asking?

It's been 0 days since I wanted to (*) apply a patch from an email-list to the Linux source tree. And it has been a bloody long while since I last had to do that!

(*) Patch from November is for a single file and has already bit-rotted sufficiently that it doesn't apply cleanly, but it's straight-forward C that I can whip into shape myself.

Why, yes, of course I'm dabbling with #aarch64 and #CoreSight again, why you're asking?

It's been 0 days since I wanted to (*) apply a patch from an email-list to the Linux source tree. And it has been a bloody long while since I last had to do that!

(*) Patch from November is for a single file and has already bit-rotted sufficiently that it doesn't apply cleanly, but it's straight-forward C that I can whip into shape myself.

Why, yes, of course I'm dabbling with #aarch64 and #CoreSight again, why you're asking?

It's been 0 days since I wanted to (*) apply a patch from an email-list to the Linux source tree. And it has been a bloody long while since I last had to do that!

(*) Patch from November is for a single file and has already bit-rotted sufficiently that it doesn't apply cleanly, but it's straight-forward C that I can whip into shape myself.

Why, yes, of course I'm dabbling with #aarch64 and #CoreSight again, why you're asking?

It's been 0 days since I wanted to (*) apply a patch from an email-list to the Linux source tree. And it has been a bloody long while since I last had to do that!

(*) Patch from November is for a single file and has already bit-rotted sufficiently that it doesn't apply cleanly, but it's straight-forward C that I can whip into shape myself.

Why, yes, of course I'm dabbling with #aarch64 and #CoreSight again, why you're asking?

Macaros 0.2.1 Brings AROS to Apple Silicon Macs
#Macaros #AROS #Amiga #AmigaOS #AppleSilicon #RetroComputing #AArch64 #macOS
https://theoasisbbs.com/macaros-0-2-1-brings-aros-to-apple-silicon-macs/?fsp_sid=12040

Macaros 0.2.1 Brings AROS to Apple Silicon Macs
#Macaros #AROS #Amiga #AmigaOS #AppleSilicon #RetroComputing #AArch64 #macOS
https://theoasisbbs.com/macaros-0-2-1-brings-aros-to-apple-silicon-macs/?fsp_sid=12040

Macaros 0.2.1 Brings AROS to Apple Silicon Macs
#Macaros #AROS #Amiga #AmigaOS #AppleSilicon #RetroComputing #AArch64 #macOS
https://theoasisbbs.com/macaros-0-2-1-brings-aros-to-apple-silicon-macs/?fsp_sid=12040

Macaros 0.2.1 Brings AROS to Apple Silicon Macs
#Macaros #AROS #Amiga #AmigaOS #AppleSilicon #RetroComputing #AArch64 #macOS
https://theoasisbbs.com/macaros-0-2-1-brings-aros-to-apple-silicon-macs/?fsp_sid=12040

Macaros 0.2.1 Brings AROS to Apple Silicon Macs
#Macaros #AROS #Amiga #AmigaOS #AppleSilicon #RetroComputing #AArch64 #macOS
https://theoasisbbs.com/macaros-0-2-1-brings-aros-to-apple-silicon-macs/?fsp_sid=12040

AROS Raspberry Pi 3 Builds Join the Nightly Releases
#AROS #RaspberryPi #RaspberryPi3 #Amiga #ARM #AArch64 #RetroComputing
https://theoasisbbs.com/aros-raspberry-pi-builds-arrive-for-pi-3-in-32-bit-and-64-bit-versions/?fsp_sid=11664

AROS Raspberry Pi 3 Builds Join the Nightly Releases
#AROS #RaspberryPi #RaspberryPi3 #Amiga #ARM #AArch64 #RetroComputing
https://theoasisbbs.com/aros-raspberry-pi-builds-arrive-for-pi-3-in-32-bit-and-64-bit-versions/?fsp_sid=11664

AROS Raspberry Pi 3 Builds Join the Nightly Releases
#AROS #RaspberryPi #RaspberryPi3 #Amiga #ARM #AArch64 #RetroComputing
https://theoasisbbs.com/aros-raspberry-pi-builds-arrive-for-pi-3-in-32-bit-and-64-bit-versions/?fsp_sid=11664

AROS Raspberry Pi 3 Builds Join the Nightly Releases
#AROS #RaspberryPi #RaspberryPi3 #Amiga #ARM #AArch64 #RetroComputing
https://theoasisbbs.com/aros-raspberry-pi-builds-arrive-for-pi-3-in-32-bit-and-64-bit-versions/?fsp_sid=11664

AROS Raspberry Pi 3 Builds Join the Nightly Releases
#AROS #RaspberryPi #RaspberryPi3 #Amiga #ARM #AArch64 #RetroComputing
https://theoasisbbs.com/aros-raspberry-pi-builds-arrive-for-pi-3-in-32-bit-and-64-bit-versions/?fsp_sid=11664

The Minisforum MS-R1 is still going strong 👍

#screenshot #linux #aarch64 #chimeralinux #cports #raspberypi #cixP1

The Minisforum MS-R1 is still going strong 👍

#screenshot #linux #aarch64 #chimeralinux #cports #raspberypi #cixP1

The Minisforum MS-R1 is still going strong 👍

#screenshot #linux #aarch64 #chimeralinux #cports #raspberypi #cixP1

The Minisforum MS-R1 is still going strong 👍

#screenshot #linux #aarch64 #chimeralinux #cports #raspberypi #cixP1

So it begins...

I'd never thought a small ARM machine for ~600€ could be a good deal... that was before the RAMPocalypse...

The Minisforum MS-R1 comes with 64GB LPDDR5 ECC RAM.
Thankfully I still had a spare KingSpec XG7000 2TB m.2 NVME SSD

The CIX P1 CP8180 CPU is very new and Kernel upstreaming started in ernest with 2.6.19 but mainline is far from useable and the Debian Bookworm image that Minisforum provides is... a bit old.

However Ubuntu has a working Image
of 26.06 LTS that I used to install my machine with.

Working 10Gbit Ethernet and Wifi is nice.

Chimera Linux sits happily in a QEMU/KVM running on the same machine.

Next step: get the needed bits into Chimera but not while it's so hot around here.

#screenshot #minisforumMsR1 #ubuntu #chimeralinux #libvirt #virtmanager #kdeplasma #aarch64 #arm64 #cixP1 #cixCp8180

So it begins...

I'd never thought a small ARM machine for ~600€ could be a good deal... that was before the RAMPocalypse...

The Minisforum MS-R1 comes with 64GB LPDDR5 ECC RAM.
Thankfully I still had a spare KingSpec XG7000 2TB m.2 NVME SSD

The CIX P1 CP8180 CPU is very new and Kernel upstreaming started in ernest with 2.6.19 but mainline is far from useable and the Debian Bookworm image that Minisforum provides is... a bit old.

However Ubuntu has a working Image
of 26.06 LTS that I used to install my machine with.

Working 10Gbit Ethernet and Wifi is nice.

Chimera Linux sits happily in a QEMU/KVM running on the same machine.

Next step: get the needed bits into Chimera but not while it's so hot around here.

#screenshot #minisforumMsR1 #ubuntu #chimeralinux #libvirt #virtmanager #kdeplasma #aarch64 #arm64 #cixP1 #cixCp8180

So it begins...

I'd never thought a small ARM machine for ~600€ could be a good deal... that was before the RAMPocalypse...

The Minisforum MS-R1 comes with 64GB LPDDR5 ECC RAM.
Thankfully I still had a spare KingSpec XG7000 2TB m.2 NVME SSD

The CIX P1 CP8180 CPU is very new and Kernel upstreaming started in ernest with 2.6.19 but mainline is far from useable and the Debian Bookworm image that Minisforum provides is... a bit old.

However Ubuntu has a working Image
of 26.06 LTS that I used to install my machine with.

Working 10Gbit Ethernet and Wifi is nice.

Chimera Linux sits happily in a QEMU/KVM running on the same machine.

Next step: get the needed bits into Chimera but not while it's so hot around here.

#screenshot #minisforumMsR1 #ubuntu #chimeralinux #libvirt #virtmanager #kdeplasma #aarch64 #arm64 #cixP1 #cixCp8180

So it begins...

I'd never thought a small ARM machine for ~600€ could be a good deal... that was before the RAMPocalypse...

The Minisforum MS-R1 comes with 64GB LPDDR5 ECC RAM.
Thankfully I still had a spare KingSpec XG7000 2TB m.2 NVME SSD

The CIX P1 CP8180 CPU is very new and Kernel upstreaming started in ernest with 2.6.19 but mainline is far from useable and the Debian Bookworm image that Minisforum provides is... a bit old.

However Ubuntu has a working Image
of 26.06 LTS that I used to install my machine with.

Working 10Gbit Ethernet and Wifi is nice.

Chimera Linux sits happily in a QEMU/KVM running on the same machine.

Next step: get the needed bits into Chimera but not while it's so hot around here.

#screenshot #minisforumMsR1 #ubuntu #chimeralinux #libvirt #virtmanager #kdeplasma #aarch64 #arm64 #cixP1 #cixCp8180

Proxmox VE now officially supports 64-bit Arm (Aarch64) targets

https://fed.brid.gy/r/https://www.cnx-software.com/2026/08/07/proxmox-ve-now-officially-supports-64-bit-arm-aarch64-targets/

От boot-кода до shell: несколько месяцев разработки ОС на Rust с ИИ-агентами

Как разработать собственную ОС в одиночку, если заниматься проектом можно только в свободное время? Рассказываю, как ИИ помог мне пройти путь от изучения AArch64 до работающего ядра с вытесняющим планировщиком, userspace, ELF-программами и shell — и почему ответственность инженера при этом никуда не исчезает.

https://habr.com/ru/articles/1064844/

#genrt #разработка_ОС #системное_программирование #Rust #AArch64 #QEMU #ядро_ОС #userspace #ИИагенты #Codex

От boot-кода до shell: несколько месяцев разработки ОС на Rust с ИИ-агентами

Как разработать собственную ОС в одиночку, если заниматься проектом можно только в свободное время? Рассказываю, как ИИ помог мне пройти путь от изучения AArch64 до работающего ядра с вытесняющим планировщиком, userspace, ELF-программами и shell — и почему ответственность инженера при этом никуда не исчезает.

https://habr.com/ru/articles/1064844/

#genrt #разработка_ОС #системное_программирование #Rust #AArch64 #QEMU #ядро_ОС #userspace #ИИагенты #Codex

От boot-кода до shell: несколько месяцев разработки ОС на Rust с ИИ-агентами

Как разработать собственную ОС в одиночку, если заниматься проектом можно только в свободное время? Рассказываю, как ИИ помог мне пройти путь от изучения AArch64 до работающего ядра с вытесняющим планировщиком, userspace, ELF-программами и shell — и почему ответственность инженера при этом никуда не исчезает.

https://habr.com/ru/articles/1064844/

#genrt #разработка_ОС #системное_программирование #Rust #AArch64 #QEMU #ядро_ОС #userspace #ИИагенты #Codex

a[mask] = f(a[mask]) на NEON. compress вместо blend

Блендинг считает функцию для всех элементов и сохраняет только нужные. Для дешевых функций это оптимально, но на pow проигрывает в несколько раз. Можно сжать подходящие элементы, посчитать только их и разжать обратно. Разбираемся, где граница, и делаем адаптивный алгоритм.

https://habr.com/ru/articles/1063732/

#arm_neon #simd #apple_silicon #c++ #интринсики #оптимизация #aarch64

a[mask] = f(a[mask]) на NEON. compress вместо blend

Блендинг считает функцию для всех элементов и сохраняет только нужные. Для дешевых функций это оптимально, но на pow проигрывает в несколько раз. Можно сжать подходящие элементы, посчитать только их и разжать обратно. Разбираемся, где граница, и делаем адаптивный алгоритм.

https://habr.com/ru/articles/1063732/

#arm_neon #simd #apple_silicon #c++ #интринсики #оптимизация #aarch64

a[mask] = f(a[mask]) на NEON. compress вместо blend

Блендинг считает функцию для всех элементов и сохраняет только нужные. Для дешевых функций это оптимально, но на pow проигрывает в несколько раз. Можно сжать подходящие элементы, посчитать только их и разжать обратно. Разбираемся, где граница, и делаем адаптивный алгоритм.

https://habr.com/ru/articles/1063732/

#arm_neon #simd #apple_silicon #c++ #интринсики #оптимизация #aarch64

Oida, Lenovo. T14s Snapdragon is finally for sale.

Bad news : Only medium CPU configurations, solely 32 GiB RAM, no modem available at all, no 120 Hz, maximally Full HD, only 2 USB-C, no Thunderbolt. Sorry, give me one reason to buy this crap ?

Are you kidding ? The specs are literally unchanged to worse from the last generation.

#LinuxOnArm #aarch64

Oida, Lenovo. T14s Snapdragon is finally for sale.

Bad news : Only medium CPU configurations, solely 32 GiB RAM, no modem available at all, no 120 Hz, maximally Full HD, only 2 USB-C, no Thunderbolt. Sorry, give me one reason to buy this crap ?

Are you kidding ? The specs are literally unchanged to worse from the last generation.

#LinuxOnArm #aarch64

Oida, Lenovo. T14s Snapdragon is finally for sale.

Bad news : Only medium CPU configurations, solely 32 GiB RAM, no modem available at all, no 120 Hz, maximally Full HD, only 2 USB-C, no Thunderbolt. Sorry, give me one reason to buy this crap ?

Are you kidding ? The specs are literally unchanged to worse from the last generation.

#LinuxOnArm #aarch64

Oida, Lenovo. T14s Snapdragon is finally for sale.

Bad news : Only medium CPU configurations, solely 32 GiB RAM, no modem available at all, no 120 Hz, maximally Full HD, only 2 USB-C, no Thunderbolt. Sorry, give me one reason to buy this crap ?

Are you kidding ? The specs are literally unchanged to worse from the last generation.

#LinuxOnArm #aarch64

Oida, Lenovo. T14s Snapdragon is finally for sale.

Bad news : Only medium CPU configurations, solely 32 GiB RAM, no modem available at all, no 120 Hz, maximally Full HD, only 2 USB-C, no Thunderbolt. Sorry, give me one reason to buy this crap ?

Are you kidding ? The specs are literally unchanged to worse from the last generation.

#LinuxOnArm #aarch64

I am not familiar with it and how it is implemented in glibc, but out of curiosity I am wondering why they removed support for memory tagging on aarch64. The corresponding commit says that it was somehow broken: https://sourceware.org/git/?p=glibc.git;a=commit;h=70be9819b5eb7ed0050cffb45113332f96f5a55f

Does somebody have a nice link that explains the problem(s) in more detail?

#glibc #aarch64 #Memorytagging

I am not familiar with it and how it is implemented in glibc, but out of curiosity I am wondering why they removed support for memory tagging on aarch64. The corresponding commit says that it was somehow broken: https://sourceware.org/git/?p=glibc.git;a=commit;h=70be9819b5eb7ed0050cffb45113332f96f5a55f

Does somebody have a nice link that explains the problem(s) in more detail?

#glibc #aarch64 #Memorytagging

I am not familiar with it and how it is implemented in glibc, but out of curiosity I am wondering why they removed support for memory tagging on aarch64. The corresponding commit says that it was somehow broken: https://sourceware.org/git/?p=glibc.git;a=commit;h=70be9819b5eb7ed0050cffb45113332f96f5a55f

Does somebody have a nice link that explains the problem(s) in more detail?

#glibc #aarch64 #Memorytagging

I am not familiar with it and how it is implemented in glibc, but out of curiosity I am wondering why they removed support for memory tagging on aarch64. The corresponding commit says that it was somehow broken: https://sourceware.org/git/?p=glibc.git;a=commit;h=70be9819b5eb7ed0050cffb45113332f96f5a55f

Does somebody have a nice link that explains the problem(s) in more detail?

#glibc #aarch64 #Memorytagging

#Collabora has developed along with #ValveSoftware an #aarch64 version of #ArchLinux. Right now they are not providing binary packages for everything in the original distro. But as someone that has been using #ArchlinuxARM for years and is not very happy with it, it will be interesting seeing if it evolves to a point it becomes a viable alternative. https://www.collabora.com/news-and-blog/news-and-events/building-an-arch-linux-aarch64-port-for-holo-core.html

#Collabora has developed along with #ValveSoftware an #aarch64 version of #ArchLinux. Right now they are not providing binary packages for everything in the original distro. But as someone that has been using #ArchlinuxARM for years and is not very happy with it, it will be interesting seeing if it evolves to a point it becomes a viable alternative. https://www.collabora.com/news-and-blog/news-and-events/building-an-arch-linux-aarch64-port-for-holo-core.html

#Collabora has developed along with #ValveSoftware an #aarch64 version of #ArchLinux. Right now they are not providing binary packages for everything in the original distro. But as someone that has been using #ArchlinuxARM for years and is not very happy with it, it will be interesting seeing if it evolves to a point it becomes a viable alternative. https://www.collabora.com/news-and-blog/news-and-events/building-an-arch-linux-aarch64-port-for-holo-core.html

#Collabora has developed along with #ValveSoftware an #aarch64 version of #ArchLinux. Right now they are not providing binary packages for everything in the original distro. But as someone that has been using #ArchlinuxARM for years and is not very happy with it, it will be interesting seeing if it evolves to a point it becomes a viable alternative. https://www.collabora.com/news-and-blog/news-and-events/building-an-arch-linux-aarch64-port-for-holo-core.html

GNU Hurd Makes Progress On AArch64, Writing Translators In Rust - Phoronix

"The Hurd is still happening!"

https://www.phoronix.com/news/GNU-Hurd-Q2-2026

#gnuhurd #aarch64 #rust

GNU Hurd Makes Progress On AArch64, Writing Translators In Rust - Phoronix

"The Hurd is still happening!"

https://www.phoronix.com/news/GNU-Hurd-Q2-2026

#gnuhurd #aarch64 #rust

GNU Hurd Makes Progress On AArch64, Writing Translators In Rust - Phoronix

"The Hurd is still happening!"

https://www.phoronix.com/news/GNU-Hurd-Q2-2026

#gnuhurd #aarch64 #rust

GNU Hurd Makes Progress On AArch64, Writing Translators In Rust - Phoronix

"The Hurd is still happening!"

https://www.phoronix.com/news/GNU-Hurd-Q2-2026

#gnuhurd #aarch64 #rust

GNU Hurd Makes Progress On AArch64, Writing Translators In Rust - Phoronix

"The Hurd is still happening!"

https://www.phoronix.com/news/GNU-Hurd-Q2-2026

#gnuhurd #aarch64 #rust

@Alonely0 thx but I explicitly asked for the highest end of the new X2 line.

I already know that the X1 line is typical Qualcomm dog shit 😠

I also don't care much about Notebook use cases as I intend to run it in a mini up to mid size desktop case.

Background is I want to find out if a CIX P1(CP8180/CD8180) based system like the https://www.minisforum.com/products/ms-r1 or https://radxa.com/products/orion/o6/ is the only reasonable performant and affordable platform to run PROXMOX (Pxvirt) on AARCH64 within the next 12 month or if the former mentioned two platforms are possibly better choices.

I currently run Pxvit on a Raspberry Pi 5 16GB and feel the lack of power.

I'm not made out of money so Ampere Altra and NVIDIA Grace Server CPUs are not an option.

#aarch64 #arm #linux

@Alonely0 thx but I explicitly asked for the highest end of the new X2 line.

I already know that the X1 line is typical Qualcomm dog shit 😠

I also don't care much about Notebook use cases as I intend to run it in a mini up to mid size desktop case.

Background is I want to find out if a CIX P1(CP8180/CD8180) based system like the https://www.minisforum.com/products/ms-r1 or https://radxa.com/products/orion/o6/ is the only reasonable performant and affordable platform to run PROXMOX (Pxvirt) on AARCH64 within the next 12 month or if the former mentioned two platforms are possibly better choices.

I currently run Pxvit on a Raspberry Pi 5 16GB and feel the lack of power.

I'm not made out of money so Ampere Altra and NVIDIA Grace Server CPUs are not an option.

#aarch64 #arm #linux