Stories tagged as osdev – Operating system design and development when no specific OS tag exists
  1. 8
    UKL: A Unikernel Based on Linux linux osdev next.redhat.com
    phaer avatar via phaer 4 days ago | cached | 2 comments
  2. 24
    Simplicity awakes c osdev unix jehanne.io
    phl avatar via phl 4 days ago | cached | 7 comments
  3. 2
    Formal Methods for Kernel Hackers formalmethods linux osdev linuxplumbersconf.org
    sergeyb avatar via sergeyb 6 days ago | cached | no comments
  4. 8
    How to Design Software Good osdev programming haiku-os.org
    zge avatar via zge 12 days ago | cached | no comments
  5. 17
    FreeBSD 12 has been branched into -STABLE freebsd osdev release svnweb.freebsd.org
    ahriman avatar via ahriman 19 days ago | cached | 6 comments
  6. 13
    ニンテンドウ64 (Linux on Nintendo 64) ☶ slides linux osdev speakerdeck.com
    sevan avatar via sevan 19 days ago | cached | 1 comment
  7. 12
    How does virtual memory work? hardware osdev drewdevault.com
    calvin avatar via calvin 22 days ago | cached | 2 comments
  8. 4
    Native OKL4 Web Browser (2010) ☶ pdf osdev security web citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 25 days ago | cached | no comments
  9. 21
    A Plan 9 C Compiler for RISC-V ☶ pdf slides compilers hardware osdev geeklan.co.uk
    sevan avatar via sevan 26 days ago | cached | 11 comments
  10. 8
    LegoOS: a disseminated, distributed OS for hardware resource disaggregation osdev blog.acolyer.org
    enkiv2 avatar via enkiv2 28 days ago | cached | 1 comment
  11. 28
    Unikernels: No Longer an Academic Exercise osdev practices security 250bpm.com
    sustrik avatar authored by sustrik 28 days ago | cached | 6 comments
  12. 32
    RISC OS relicensed under Apache license osdev riscosopen.org
    calvin avatar via calvin 29 days ago | cached | no comments
  13. 30
    Writing an OS in Rust: Hardware Interrupts osdev rust os.phil-opp.com
    zpojqwfejwfhiunz avatar via zpojqwfejwfhiunz 29 days ago | cached | no comments
  14. 5
    Formalising Filesystems in the ACL2 Theorem Prover: an Application to FAT32 pdf formalmethods osdev arxiv.org
    calvin avatar via calvin 1 month ago | cached | no comments
  15. 2
    The Confused Deputy (1988) historical osdev security cap-lore.com
    Corbin avatar via Corbin 1 month ago | cached | no comments
  16. 41
    Arcan versus Xorg – Approaching Feature Parity graphics osdev arcan-fe.com
    crazyloglad avatar authored by crazyloglad 1 month ago | cached | 24 comments
  17. 21
    BεtrFS: The Bε-tree File System linux osdev performance betrfs.org
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | 4 comments
  18. 16
    Composability, homogeneity, and language-based systems osdev plt medium.com
    enkiv2 avatar authored by enkiv2 1 month ago | cached | 1 comment
  19. 20
    What's a CPU to do when it has nothing to do? hardware osdev lwn.net
    calvin avatar via calvin 1 month ago | cached | 5 comments
  20. 2
    First, seL4 Summit event osdev security sel4-us.org
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  21. 33
    Biscuit research OS ☶ go osdev release github.com
    trn avatar via trn 1 month ago | cached | 7 comments
  22. 31
    The benefits and costs of writing a POSIX kernel in a high-level language pdf slides go osdev unix usenix.org
    calvin avatar via calvin 1 month ago | cached | 3 comments
  23. 4
    Welcome to the WooKey project documentation formalmethods hardware osdev security wookey-project.github.io
    lthms avatar via lthms 1 month ago | cached | 4 comments
  24. 7
    Admiring the Zircon Part 1: Understanding Minimal Process Creation osdev depletionmode.com
    355E3B avatar via 355E3B 1 month ago | cached | 2 comments
  25. 2
    Testing Closed-Source Binary Device Drivers with DDT (2010) ☶ pdf formalmethods osdev security testing dslab.epfl.ch
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | 1 comment
Page 2 >>