Arm64 - GoKawiil

Apple auto-updates watchOS apps broken by watchOS 27 beta

Apple has begun silently pushing App Store updates to fix Apple Watch apps that failed to launch under the watchOS 27 beta. The updates carry a note stating Apple itself repackaged the app for compatibility, with no new features added. Apple told developers this automated fix rollout will wrap up by August 31, ahead of watchOS 27's public release expected in mid-September.

9to5mac.com · 2026-08-27

Proofcraft completes formal proof for dynamic seL4 domain scheduling

Proofcraft has implemented and formally verified a new domain scheduling API for the seL4 microkernel, removing the requirement for a single fixed, compiled-in schedule to maintain information flow security proofs. The API lets systems load semi-static domain schedules that can change across runtime phases, such as longer time slices during boot and shorter ones during normal operation. This capability is now included and proven in seL4 15.0.0.

proofcraft.systems · 2026-08-24