Genode Labs

@GenodeLabs

Open-source operating-system technology that aligns highly dynamic workloads with security, robustness, and scalability - Impressum

Dresden, Germany
Vrijeme pridruživanja: srpanj 2012.

Tweetovi

Blokirali ste korisnika/cu @GenodeLabs

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @GenodeLabs

  1. prije 7 sati

    Martin Stein describes how Spunky can be tested as a live system with minimal effort

    Poništi
  2. proslijedio/la je Tweet
    prije 15 sati
    Prikaži ovu nit
    Poništi
  3. proslijedio/la je Tweet
    2. velj

    Stefan Kalkowski continues the Genode-specific part of the Microkernel devroom by summarizing the experience with ARM and ARMv8 platforms.

    Prikaži ovu nit
    Poništi
  4. proslijedio/la je Tweet
    2. velj

    Norman of ist currently giving an epic demo of Sculpt OS in the microkernel devroom at .

    Poništi
  5. 2. velj
    Poništi
  6. proslijedio/la je Tweet
    1. velj

    this laptop (MNT Reform) and this phone (Purism Librem 5) have the same SoC (CPU/GPU/...), i.MX8M. and both run free and open source drivers and software.

    Poništi
  7. proslijedio/la je Tweet
    31. sij

    In the Microkernel devroom at talks about our ongoing effort to run Android apps on Genode OS and to confine them using verified components.

    Poništi
  8. proslijedio/la je Tweet
    29. sij

    How can you structure your trusted software components to facilitate ? presents our Gneiss framework for portable high-performance components at on Sunday.

    Poništi
  9. 28. sij

    Norman Feske is going to demonstrate the Sculpt Operating System

    Prikaži ovu nit
    Poništi
  10. 28. sij

    will report about Genode's ARMv8 Playground

    Prikaži ovu nit
    Poništi
  11. 28. sij

    Martin Stein is going to present Spunky: a Genode Kernel in Ada/SPARK

    Prikaži ovu nit
    Poništi
  12. 28. sij

    With in a few days, we'd like to announce three talks from . We are attending in a group of four and look forward to lots of inspiring technical discussions.

    Prikaži ovu nit
    Poništi
  13. proslijedio/la je Tweet
    28. sij

    No need to rewrite all code to benefit from . Our Tobias Reiher shows how he replaced all network-facing parser code of a TLS library by verified code generated from a RecordFlux specification in the security devroom at .

    Poništi
  14. proslijedio/la je Tweet
    28. sij
    Odgovor korisnicima i sljedećem broju korisnika:

    Unfortunately, never respond to any requests from my side.

    Poništi
  15. proslijedio/la je Tweet
    27. sij

    Generating decent APIs for your and code from C++ sounds attractive. But is it realistic? gives a follow-up to last year's talk at on Saturday. He discusses mistakes, misconceptions and lessons learned.

    Poništi
  16. proslijedio/la je Tweet
    24. sij

    We have just released the first public version of RecordFlux. It can be used to formally specify binary messages, prove the consistency of specifications and generate verifiable parsers and generators.

    Poništi
  17. 20. sij
    Poništi
  18. 10. sij
    Poništi
  19. 7. sij

    Learn about our Sculpt UI plans in Norman Feske's article

    Poništi
  20. 27. pro 2019.

    We are drafting the Genode project roadmap for 2020. Join the discussion on our mailing list!

    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·