Displaying items by tag: OS technology

Data61, the digital arm of Australia’s national science agency, CSIRO, has announced the creation of the seL4 Foundation, a not-for-profit organisation aimed at accelerating the development of the seL4 microkernel and related technologies.

Published in Development

WEBINARS ONLINE & DEMAND

GUEST ARTICLES

VENDOR NEWS

Guest Opinion

Guest Interviews

Guest Reviews

ResearchWire

Guest Research & Case Studies

Channel News

Comments