Google has unveiled KataOS, an early exploration into a new secure operating system for embedded systems on open-source RISC-V chips. Google's KataOS is written "almost entirely in Rust", the ...

Secure64 has raised $3.7 million in a first round of funding for its secure operating system business. The Greenwood Village, Colo.-based company raised the money from angel investors. The company ...

According to reports, KataOS has chosen seL4 as the microkernel. This is proven to be secure and it is private as well as available. The probity level is high and users can be certain of protection.

The secure operating system standard will never be the same now that a National Security Agency-certified OS has gone commercial, but few mainstream enterprises today need an airtight OS tuned to run ...

WASHINGTON – While the U.S. Army continues to make significant leaps in autonomous capabilities and maturity, it seeks an advanced and secure operating system to enhance its autonomy software library.

Unlock the full InfoQ experience by logging in! Stay updated with your favorite authors and topics, engage with content, and download exclusive resources. Cory Benfield discusses the evolution of ...

Is it possible to replace Linux as the heart of serverless cloud computing services? That's exactly the intention of a startup consisting of developers from the open source Postgres database project ...

Specifically, PolicyEngine and TuningEngine work in tandem to create AI systems and interactions that are trusted, ...

Cybersecurity matters -- I've been espousing this hot take on Linux for a very long time. It seems, however, that the phrase "there's no time like the present" is more apropos today than it has ever ...

It’s finally here. After years of discussions and recommendations, we now have a federal mandate to deploy secure configurations for Microsoft Windows Vista and Windows XP Operating Systems. A March ...

Maintaining a secure Windows environment in the enterprise may seem a daunting task. Though there are many elements to consider — antivirus protection, intrusion detection and personal firewalls — ...