Stories tagged as osdev – Operating system design and development when no specific OS tag exists
  1. 5
    600 Days of postmarketOS linux mobile osdev postmarketos.org
    craftyguy avatar via craftyguy 31 hours ago | cached | no comments
  2. 2
    Teaching Operating Systems with Tracing ☶ osdev github.com
    lattera avatar via lattera 31 hours ago | cached | no comments
  3. 17
    A founder’s farewell cryptocurrencies osdev person urbit.org
    bsima avatar via bsima 45 hours ago | cached | 58 comments
  4. 2
    The Urbit address space is now live on the Ethereum blockchain. We’re calling it ‘Azimuth’ distributed osdev release urbit.org
    Hail_Spacecake avatar via Hail_Spacecake 2 days ago | cached | 9 comments
  5. 22
    Writing an OS in Rust: Introduction to Paging osdev rust os.phil-opp.com
    zpojqwfejwfhiunz avatar via zpojqwfejwfhiunz 3 days ago | cached | 3 comments
  6. 10
    Monotonic clocks are not monotonic osdev rust github.com
    sanxiyn avatar via sanxiyn 3 days ago | cached | 6 comments
  7. 19
    Misadventures in process containment linux osdev apenwarr.ca
    qznc avatar via qznc 5 days ago | cached | 10 comments
  8. 3
    Simulation and Formal Verification of x86 Machine-Code Programs that make System Calls ☶ pdf assembly c formalmethods lisp osdev cs.utexas.edu
    nickpsecurity avatar via nickpsecurity 6 days ago | cached | 1 comment
  9. 13
    KaiOS osdev en.wikipedia.org
    sanxiyn avatar via sanxiyn 7 days ago | cached | 6 comments
  10. 3
    Design and Verification of Secure Systems (1981) ☶ distributed historical osdev security csl.sri.com
    nickpsecurity avatar via nickpsecurity 11 days ago | cached | 2 comments
  11. 2
    A Distributed, Secure System (Extended Abstract) (1983) ☶ pdf distributed historical osdev security unix citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 11 days ago | cached | 1 comment
  12. 1
    OSv - the operating system designed for the cloud osdev osv.io
    Student avatar via Student 15 days ago | cached | no comments
  13. 2
    Orthogonally Persistent Object Systems (1995) pdf osdev plt vldb.org
    calvin avatar via calvin 15 days ago | cached | no comments
  14. 9
    GenodeOS Sculpt with Visual Composition ☶ osdev security genode.org
    akavel avatar via akavel 17 days ago | cached | 1 comment
  15. 4
    OS Development on Windows - Part 1: Building a UEFI Application in NASM assembly osdev windows hackerpulp.com
    Snocrash avatar via Snocrash 20 days ago | cached | no comments
  16. 36
    Haiku Beta: The release heard around the world osdev release medium.com
    calvin avatar via calvin 21 days ago | cached | 11 comments
  17. 4
    Mondrian Memory Protection pdf osdev security cs.utexas.edu
    enkiv2 avatar via enkiv2 22 days ago | cached | no comments
  18. 12
    TempleOS | Down the Rabbit Hole video osdev youtube.com
    itistoday avatar via itistoday 25 days ago | cached | 16 comments
  19. 10
    A random emoji in your terminal prompt. How and Why ☶ linux osdev loige.co
    loige avatar authored by loige 1 month ago | cached | 22 comments
  20. 2
    Verification of Tree-Based Hierarchical Read-Copy Update in the Linux Kernel (2018) ☶ pdf c formalmethods linux osdev kroening.com
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  21. 58
    TempleOS historical osdev en.wikipedia.org
    nil avatar via nil 1 month ago | cached | 17 comments
  22. 3
    Everyday Use of GNU Guix video lisp osdev gnu.org
    zge avatar via zge 1 month ago | cached | no comments
  23. 10
    Operating systems development for Dummies osdev medium.com
    calvin avatar via calvin 1 month ago | cached | no comments
  24. 7
    The Secure Socket API: TLS as an Operating System Service networking osdev security usenix.org
    apg avatar via apg 1 month ago | cached | 4 comments
  25. 2
    Secure Virtualization of Latency-Constrained Systems (2015) ☶ pdf osdev performance security virtualization qucosa.de
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
Page 2 >>