Shaare your links...
2408 links
interesting links Home Login RSS Feed ATOM Feed Tag cloud Picture wall Daily
Links per page: 20 50 100
◄Older
page 4 / 5
Newer►
86 results for tags operating-system x
  • jbox.dk - Links
    Articles about software complexity. The sanos operating system and the PDP-11 emulator running under it are interesting too.
    http://www.jbox.dk/sanos/pdp11.htm
    Tue Jan 26 21:26:14 2016 - permalink -
    - http://www.jbox.dk/links.htm
    operating-system reading software TODO
  • infpi / inferno-rpi — Bitbucket
    Porting Inferno OS to Raspberry Pi. Besides the software, the progress has been written up on the blog http://lynxline.com
    Fri Nov 20 14:21:45 2015 - permalink -
    - https://bitbucket.org/infpi/inferno-rpi
    inferno operating-system raspberry software
  • jvburnes/node9 · GitHub
    Node9 is a hosted 64-bit operating system based on Bell Lab's Inferno OS, but using the Lua scripting language instead of Limbo and the LuaJIT high performance virtual machine instead of the Dis virtual machine. It also uses the libuv I/O library for maximum portability, efficient event processing and thread management.
    Mon Jul 27 00:12:33 2015 - permalink -
    - https://github.com/jvburnes/node9
    inferno operating-system plan9
  • Mezzano: operating system written in Common Lisp
    Code can be found on https://github.com/froggey/Mezzano
    Documentation is sparse, but it appears to target x86.
    Wed Jun 3 17:33:27 2015 - permalink -
    - http://www.osnews.com/comments/28254
    common-lisp operating-system software
  • Genode - About Genode
    The Genode OS Framework is a tool kit for building highly secure special-purpose operating systems. It scales from embedded systems with as little as 4 MB of memory to highly dynamic general-purpose workloads.
    Fri May 1 22:01:46 2015 - permalink -
    - http://genode.org/about/index
    FOSS operating-system
  • HelenOS project
    HelenOS is an open-source microkernel-based multiserver operating system written from scratch. It runs on several different CPU architectures (IA-32, x86-64, SPARC V9, IA-64, PowerPC, ARM, MIPS). HelenOS prides in portability, modularity, clean design and coding style.

    It does not mimic any existing system and it is not meant to be POSIX-compliant or UNIX-like at all. Just as an example, HelenOS does not support fork().
    Mon Oct 20 19:08:16 2014 - permalink -
    - http://www.helenos.org/
    BSD FOSS operating-system software
  • Capability-based security; how does it work? | Lambda the Ultimate
    Blog article about capability-based security. Includes a link to Jonathan Rees' W7 system http://www.cap-lore.com/CapTheory/Rees/Rees.html
    Tue Jul 1 14:37:40 2014 - permalink -
    - http://lambda-the-ultimate.org/node/3930
    operating-system Scheme security
  • ChibiOS/RT Homepage [ChibiOS/RT free embedded RTOS]
    ChibiOS/RT is a complete, portable, open source, compact and extremely fast RTOS (Real-Time Operating System). You may start reading this introduction.
    Sun May 18 01:54:44 2014 - permalink -
    - http://www.chibios.org/dokuwiki/doku.php
    FOSS operating-system real-time
  • xv6 is a re-implementation of Dennis Ritchie's and Ken Thompson's Unix Version 6 (v6).
    xv6 loosely follows the structure and style of v6, but is implemented for a modern x86-based multiprocessor using ANSI C.

    ACKNOWLEDGMENTS
    xv6 is inspired by John Lions's Commentary on UNIX 6th Edition (Peer
    to Peer Communications; ISBN: 1-57398-013-7; 1st edition (June 14,
    2000)). See also http://pdos.csail.mit.edu/6.828/2007/v6.html, which
    provides pointers to on-line resources for v6.

    MIT license.
    Tue May 6 17:48:09 2014 - permalink -
    - https://github.com/jeffallen/xv6
    C FOSS MIT operating-system Unix
  • System Software
    Quick notes regarding NIX system software issues, references to related work, ideas for future work, and any interesting result along the way. See the nix OS web site http://lsub.org/ls/nix.html
    Sat Jul 13 22:49:23 2013 - permalink -
    - http://syssoftware.blogspot.com.es/
    blog NIX operating-system plan9
  • LambdaPi - A Lisp-based operating system for the Raspberry Pi single board computer
    A Scheme / Lisp based operating system for the Raspberry Pi single board computer. Also (hopefully) provides a BSD-licensed implementation of drivers for the Pis hardware.
    It used to live on https://gitorious.org/lambdapi#more, but as of 2016-02-16, it yields 404 - No projects found

    Fortunately, it has been moved to github.
    Wed Dec 19 12:13:39 2012 - permalink -
    - https://github.com/GitoriousLispBackup/lambdapi
    lisp operating-system pi raspberry Scheme π
  • Welcome to ITS-SV, aka its.svensson.org
    SV is running the incompatible timesharing system (ITS) on a KLH10 -- an emulated KS10 written in C and being executed by an AMD P6-600 running FreeBSD.
    Tue Jan 3 00:36:43 2012 - permalink -
    - http://its.svensson.org/
    computer hack history ITS operating-system
  • An Introduction to Ten15
    Notes about the Ten15 operating system developed in the early nineties.
    Tue Apr 12 12:34:29 2011 - permalink -
    - http://www.mca-ltd.com/martin/Ten15/introduction.html
    language operating-system programming software TODO
  • FreeRTOS-A Free professional grade RTOS supporting 26 architectures, including ARM7, ARM9, Cortex-M3, RX600, MSP430, MicroBlaze, AVR, x86, PIC32, PIC24, dsPIC, H8S, HCS12 and 8051
    Another open-source RTOS. Unlike others, it comes with a task state diagram.
    Fri Feb 11 14:48:23 2011 - permalink -
    - http://www.freertos.org/
    FOSS operating-system RTOS software
  • Graverobbers From Outer Space
    This site contains a collection of articles about Plan 9, Inferno and the technology transfer of their technologies to other platforms such as Linux. It will include articles about ongoing development, novel applications, and step-by-step tutorials on usi
    Tue Jun 19 12:56:19 2007 - permalink -
    - http://www.graverobber.org/
    blog inferno operating-system plan9
  • Mini Linux distro features X-free OpenGL graphics
    A Linux distribution for small devices, with grapics based on OpenGL, but without using X11.
    Wed May 2 12:01:53 2007 - permalink -
    - http://www.linuxdevices.com/news/NS8925383538.html
    GPL Linux operating-system
  • GPL'd DOS workalike
    NXDOS is an operating system similar to MS-DOS, but licensed under the GPL.
    Wed May 2 11:45:15 2007 - permalink -
    - http://www.linuxdevices.com/news/NS9509696845.html
    FOSS GPL operating-system
  • Coyotos Secure Operating System
    Another successor to EROS, a capability-based operating system. Attempts to use formal verification.
    Thu Oct 19 19:29:36 2006 - permalink -
    - http://www.coyotos.org/index.html
    capability mathematics operating-system security
  • The CapROS Operating System
    A capability-based operating system, one of the successors of EROS (CoyoteOS seems to be another one).
    According to https://sourceforge.net/p/capros/mailman/capros-devel/?viewmonth=202201 the author plans to port it ti the Raspberry pi.
    Thu Oct 19 19:21:54 2006 - permalink -
    - http://www.capros.org/
    capability operating-system pi raspberry security π
  • Operating systems text by Francisco J. Ballesteros (nemo)
    An introductory text to (using) operating systems, using Plan 9. It is the first draft produced (announced on comp.os.plan9 on 2006-08-31)
    Fri Sep 1 14:58:59 2006 - permalink -
    - http://lsub.org/who/nemo/9.intro.pdf
    operating-system plan9
Links per page: 20 50 100
◄Older
page 4 / 5
Newer►
Shaarli 0.0.41 beta - The personal, minimalist, super-fast, no-database delicious clone. By sebsauvage.net. Theme by idleman.fr.