How CHERIoT Provides Strong and Usable Isolation Without an MMU
CHERIoT is a RISC-V-based ISA, RTOS, and programmer model co-designed for security in embedded systems, offering an alternative to memory management units (MMUs) for isolation. Instead of page-based MMU protection, it uses CHERI capabilities—fat pointers carrying address, bounds, permissions, and sealing metadata—to let programmers share complex objects safely across compartments without restructuring APIs around pages or RPC serialization. The piece traces the history of memory protection from early mainframes through Mondriaan Memory Protection to CHERI, explains sealing, sentries, static and dynamic software capabilities, and compares CHERIoT's compartment/thread model to MULTICS shared libraries and the Doors mechanism from Spring/Solaris. It closes by discussing what would need to change to scale these ideas to larger, multicore systems, including temporal safety, stack zeroing, and whether MMUs might still be useful purely for translation and copy-on-write.
Một hacker đã exploit lỗi UDP overflow trên firmware của máy in Samsung C410W để chạy server Minecraft UCraft trực tiếp trên thiết bị. Mã khai thác và server đã được đăng trên GitHub nhưng chỉ hoạt động ổn định với model và firmware cụ thể đó.
Bài này cho thấy cách khai thác lỗi firmware để biến thiết bị IoT thành máy chủ game, mở ra hướng tiếp cận mới cho lập trình viên khi bảo mật và tận dụng phần cứng.
YuzukiHD vừa ra mắt YuzukiNeko, một board SBC nguồn mở có thể chạy Linux, kích thước tương đương Raspberry Pi Pico. Board này được tích hợp chip Allwinner F101, một bộ xử lý RISC‑V 64‑bit hỗ trợ bộ nhớ DDR3 và các périphériques tiêu chuẩn như USB, GPIO. Nhờ kiến trúc RISC‑V và khả năng boot kernel Linux chính thức, YuzukiNeko cho phép các nhà phát triển chạy các ứng dụng Linux đầy đủ trên một bo mạch nhỏ gọn như Pico. Điều này mở rộng lựa chọn cho các dự án IoT và giáo dục mà trước đây chỉ có thể dùng vi điều khiển hoặc SBC dựa trên ARM với kích thước lớn hơn. Từ dự án này chúng ta học được rằng việc kết hợp kiến trúc RISC‑V mởSource với hình thức Pico có thể tạo ra các thiết bị Linux thực sự nhỏ gọn, khuyến khích cộng đồng khám phá hơn về phần cứng mở trên kiến trúc mới.
Bài này giới thiệu board máy tính YuzukiNeki độc đáo với kích thước Raspberry Pi Pico nhưng có khả năng Linux nhờ chip Allwinner F101 RISC-V mới.
Nhiều dự án đồng hồ DIY chỉ tập trung vào hiển thị số cơ bản, thiếu yếu tố thu hút mắt. Dự án này sử dụng ESP32 để kết nối Wi‑Fi và lấy thời gian chuẩn qua giao thức NTP, đồng thời điều khiển các chân GPIO để vẽ hình ảnh trên màn hình. Nó tích hợp các sprite pixel‑art từ các trò chơi rétro nổi bật, cho phép đồng hồ chuyển đổi giữa hiển thị thời gian thực và các cảnh hoạt hình ngắn. Kết quả là một thiết bị vừa báo giờ vừa mang lại nỗi nhớ về thời đại arcade, làm tăng giá trị giải trí mà không tăng đáng kể độ phức tạp firmware. Điều này cho thấy việc kết hợp khả năng mạng, thư viện đồ họa và MCU giá rẻ có thể biến một công cụ đơn giản thành trải nghiệm tương tác thú vị.
Lập trình viên sẽ tìm hiểu cách kết hợp ESP32 với thiết kế thời gian retro game bằng cách giải quyết vấn đề kết nối cảm biến thời gian với logic game đơn giản, giúp hiểu rõ cách tối ưu hóa nguồn năng lượng và giao diện người dùng trên thiết bị IoT này.
NASA/Caltech giới thiệu SpaceWASM, trình thông dịch WebAssembly 1.0 bằng Rust, tối ưu cho phần mềm bay quan trọng trên tàu vũ trụ với bộ nhớ cố định, giải mã theo luồng và giới hạn tài nguyên chặt chẽ. Dự án hỗ trợ kiểm thử đơn vị, tích hợp spec WASM 1.0 và fuzzing bằng libfuzzer.
Lập trình viên phát triển phần mềm an toàn cấp hệ thống, đặc biệt là cho các ứng dụng có giới hạn tài nguyên như IoT, drone hay thiết bị y tế, nên đọc để tìm hiểu cách tối ưu hóa WebAssembly với các giải pháp an toàn và hiệu năng cao trong môi trường hạn chế.
swSIM là trình giả lập SIM card hoàn toàn bằng phần mềm, mã nguồn mở, không cần phần cứng vật lý. Nó kết nối với PC qua PC/SC nhờ swICC reader, tương thích với mọi điện thoại có khe SIM, được xây dựng bằng make/gcc và không phụ thuộc runtime.
Lập trình viên phát triển ứng dụng di động hoặc hệ thống liên quan đến SIM card nên đọc để tìm hiểu cách tạo mô phỏng SIM card hoàn toàn phần mềm, giúp tiết kiệm chi phí phát triển và mở rộng khả năng tương thích với các thiết bị không cần thiết bị vật lý.
eeink là dự án hobby mang trò chơi choose‑your‑own‑adventure viết bằng ngôn ngữ scripting ink tới các thiết bị e‑ink giá rẻ chạy ESP32. Nó hỗ trợ cả hai phiên bản hardware: các board X3/X4 dựa trên ESP32‑C3 không có PSRAM và board X4 Pro dựa trên ESP32‑S3 có bộ nhớ RAM lớn hơn. Nhờ việc tối ưu hóa việc sử dụng bộ nhớ, dự án cho phép chạy các câu chuyện tương tác trên các màn hình e‑ink có nguồn hạn chế mà vẫn mượt mà. Kèm theo là eenky, một IDE đồng hành giúp tác giả soạn thảo và biên dịch trò chơi, toàn bộ mã được công khai trên GitHub dưới giấy phép MIT cùng video demo. Điều này cho thấy việc chọn scripting language nhẹ và quản lý bộ nhớ kỹ lưỡng có thể mang lại trải nghiệm đa phương thức trên các vi điều khiển có tài nguyên hạn chế.
Để học cách phát triển game văn bản tương tác trên ESP32 bằng e‑ink và công cụ IDE eeink.
We need to produce a summary in Vietnamese, 4-6 sentences, following order: context, technical cause, consequence, lesson to learn. Must be natural Vietnamese, no markdown, no opening cliché, no "Bài viết này..." etc. Must not use opening phrase like "Bài viết này..." Must not use generic opening. Must include specific numbers and tech names if present. Must keep technical terms in English unchanged. Must not include any Chinese/Japanese/Korean/Han characters. Must only use Vietnamese and Latin characters. Must not use markdown formatting. Must not use bold etc. Must not use opening phrase like "Bài viết này..." Must not use "Bạn là..." etc. Just produce the summary.
We need to mention the project from opensprinkler.org, USB-PD power, 24VAC sprinkler solenoids, four approaches: unipolar PWM, dual voltage, synthesized AC wave from DC, bipolar square wave. The bipolar square wave method came closest to mimicking a true sine wave while placing less demand on power electronics, offering cheap ubiquitous retrofit.
We need to produce 4-6 sentences, natural Vietnamese, following order: context, technical cause, consequence, lesson to learn.
Let's craft:
Sentence 1: Context: The article describes a hardware hack from opensprinkler.org that uses USB‑PD to power 24 VAC sprinkler solenoids.
Sentence 2: Technical cause: It compares four drive methods—unipolar PWM, dual voltage, synthesized AC from DC, and a bipolar square wave—and notes that the bipolar square wave best approximates a sine wave while reducing power‑electronics load.
Sentence 3: Consequence: This approach provides a cheap, widely available retrofit for legacy 24 VAC systems.
Sentence 4: Lesson: For developers evaluating power‑conversion hacks, the bipolar square‑wave technique shows that a simple waveform can meet performance needs with minimal hardware complexity.
That's 4 sentences. Ensure no opening phrase like "Bài viết này". Also no markdown. Use only Vietnamese and Latin characters. Keep technical terms in English unchanged: USB‑PD, PWM, AC, DC, etc. Use "bipolar square wave" maybe keep as is. Use "opensprinkler.org". Use "24 VAC". Use "USB‑PD". Use "PWM". Use "AC". Use "DC". Use "sine wave". Use "power electronics". Use "retrofit". Use "legacy". Use "cheap". Use "ubiquitous". All good.
Make sure no Chinese characters. Use only Latin letters and Vietnamese diacritics. Use numbers as digits. Use punctuation.
Let's write:
"Bài viết mô tả một dự án phần cứng trên opensprinkler.org sử dụng nguồn USB‑PD để cung cấp điện cho các thiết bị 24 VAC của hệ thống tưới. Các phương pháp được so sánh bao gồm unipolar PWM, dual voltage, synthesized AC từ DC và một bipolar square wave, trong đó cách wave này gần nhất mô phỏng sine wave và giảm tải cho phần mềm điện. Kết quả cho thấy nó cho phép một cách retrofit rẻ tiền cho các hệ thống tưới cũ. Đối với các lập trình viên cân nhắc cách triển khai, phương án này minh hoạ rằng một waveform đơn giản có thể đáp ứng yêu cầu hiệu suất mà không cần thiết bị phức tạp."
Check: It starts with "Bài viết mô tả..." That's okay, not a generic opening phrase? The instruction says "Không câu mở đầu khách sáo". "Bài viết mô tả..." might be considered a generic opening? It says "Không câu mở đầu khách sáo". Probably they want to avoid "Bài viết này..." or "Bạn đang đọc..." but "Bài viết mô tả..." might be okay? It says "Không câu mở đầu khách sáo, không nhắc rằng đây là bản tóm tắt." So we should not say "Bài viết này..." but "Bài viết mô tả..." might be considered a summary phrase? It's still referencing the article. Might be okay but safer to avoid any phrase that indicates it's a summary. They want to write as if explaining to a programmer whether to read the original. So we can start directly with context: "Một dự án phần cứng trên opensprinkler.org ..." That's better.
Let's rewrite without "Bài viết". Start with "Một dự án phần cứng trên opensprinkler.org ..." That's fine.
Now produce 4-6 sentences.
Sentence 1: "Một dự án phần cứng trên opensprinkler.org sử dụng nguồn USB‑PD để cung cấp điện cho các thiết bị 24 VAC của hệ thống tưới." (Context)
Sentence 2: "Bài viết so sánh bốn cách điều khiển: unipolar PWM, dual voltage, synthesized AC từ DC và một bipolar square wave, trong đó cách wave này gần nhất mô phỏng sine wave và giảm tải cho phần mềm điện." (Technical cause)
Sentence 3: "Kết quả là một cách retrofit rẻ tiền cho các hệ thống tưới cũ, sử dụng công nghệ phổ biến và dễ triển khai." (Consequence)
Sentence 4: "Đối với lập trình viên cân nhắc cách triển khai, ví dụ này cho thấy một waveform đơn giản có thể đáp ứng yêu cầu hiệu suất mà không cần phần cứng phức tạp." (Lesson)
That's 4 sentences. Ensure no opening phrase like "Bài viết này". We used "Bài viết so sánh..." which is okay? It references the article but not as a summary. Might be okay. But maybe better to avoid "Bài viết". Could just say "Các cách điều khiển được so sánh..." but we need context first. Let's restructure:
Sentence 1: "Một dự án phần cứng trên opensprinkler.org sử dụng nguồn USB‑PD để cung cấp
Dự án USB-PD cho hệ thống tưới tiêu cũ cung cấp giải pháp tiết kiệm năng lượng và phổ biến để thay thế bộ biến áp truyền thống.
Honda và Nissan đã ký kết một thỏa thuận để chia sẻ phần mềm trong xe của họ bắt đầu từ năm 2029. Bối cảnh là sau khi cuộc đàm phán về sáp nhập sụp đổ 18 tháng trước, hai hãng Nhật Bản quyết định thống nhất các đơn vị điều khiển điện tử (ECU), hệ điều hành trong xe và phần mềm điều khiển. Nguyên nhân kỹ thuật là việc đưa ra một nền tảng ECU và OS chung nhằm giảm chi phí phát triển, tăng tính tương thích và đơn hoá quy trình cập nhật OTA. Hệ quả là từ năm 2029, các mẫu xe mới của cả hai hãng sẽ sử dụng cùng một bộ phần mềm, cho phép triển khai tính năng mới nhanh hơn và giảm thời gian ra thị trường. Điều đáng học là hợp tác trong phần mềm xe có thể thay thế cho sáp nhập khi đối mặt với rủi ro tài chính và antitrust, đồng thời nhấn mạnh tầm quan trọng của chuẩn hóa ECU và OS trong ngành ô tô hiện đại.
Honda và Nissan hợp phần mềm ô tô từ 2029 sẽ thay đổi ngành công nghiệp xe hơi và tạo cơ hội mới cho lập trình viên trong lĩnh vực xe tự động.
