Descargas
-
Abre el código para MuditaOS, una plataforma móvil con soporte para pantallas de papel electrónico
Mudita tiene publicó el Código fuente para la plataforma móvil MuditaOS , basado en el sistema operativo en tiempo real FreeRTOS y optimizado para dispositivos con pantallas que utilizan. fueron creados papel electronico (E-Ink) tecnología. El código de MuditaOS está…
-
Actualización 2021-10-30 de Raspberry Pi OS basada en Debian 11 disponible para descargar
Actualización 2021-10-30 de Raspberry Pi OS basado en Debian 11 El sistema operativo Raspberry Pi descargable es una distribución basada en Debian diseñada específicamente para computadoras Raspberry Pi. El equipo de desarrollo ha lanzado una nueva versión del sistema operativo…
-
Fedora Linux 35 Estable para descargar con GNOME 41. disponible
Fedora Linux 35 Estable disponible para descargar con GNOME 41 El equipo de Fedora 35 ha anunciado el lanzamiento de Fedora 35. La nueva versión de Fedora viene con GNOME 41, el sistema de audio PipeWire y el administrador de…
-
RedHat celebra Halloween con un relanzamiento de la versión 0.9 de su sistema
sombrero rojo tomó la decisión de celebrar Halloween desde recordar y Relanzamiento de la versión 0.9 Este sistema se publicó el 31 de octubre de 1994. Esta versión era una beta paga y la primera versión del sistema que se…
-
Ataque de caballo de Troya de origen que introduce cambios en el código que son invisibles para el desarrollador
Los investigadores de la Universidad de Cambridge publicado como Nuevo Tecnología para Reemplazo sutil de código malicioso en fuentes revisadas por pares. El método de ataque preparado ( CVE-2021-42574 ) se presenta bajo el nombre Fuente de troyano y se…
-
Primera versión estable del navegador Microsoft Edge para Linux
Microsoft tiene formó el primera compilación estable del navegador Edge para la plataforma Linux. los Repositorio contiene el paquete «microsoft-edge-stable_95», disponible en RPM y debutante Formatos para Fedora, openSUSE, Ubuntu y Debian. Las notas de la versión ahora marcan las…
-
Intel está desarrollando HTTPA para complementar HTTPS
Los ingenieros de Intel tienen sugirió Nuevo protocolo, HTTPA (HTTPS Attestable), que amplía HTTPS con garantías adicionales para la seguridad de los cálculos realizados. HTTPA ayuda a garantizar que la integridad de la solicitud del usuario se procese en el…
-
Intel abre el código del sistema de aprendizaje automático ControlFlag para detectar errores en el código
Intel tiene revelado Desarrollos relacionados con la ControlFlag investigar Proyecto para desarrollar un sistema de aprendizaje automático para mejorar la calidad del código. El kit de herramientas creado por el proyecto permite, a partir de un modelo que ha sido…
-
Muen 1.0 lanzado, un microkernel de código abierto para construir sistemas altamente confiables
Después de ocho años de desarrollo Muen 1.0 El proyecto fue Aprobado, Desarrollo de Núcleo de separacióncuya corrección en el código fuente ha sido confirmada utilizando métodos matemáticos para la verificación formal de la confiabilidad. El kernel está disponible para…
-
El proyecto Kerla desarrolla un kernel compatible con Linux en el lenguaje Rust
los Chico Project está desarrollando un kernel de sistema operativo escrito en el lenguaje Rust. El nuevo kernel se centra inicialmente en garantizar la compatibilidad con el kernel de Linux en el nivel ABI, lo que permite que los binarios…
