12 projects tagged "Operating System Kernels"
Sirid is a Web-based tool for managing software projects. The main features of Sirid are assigning tasks between the personnel, reporting bugs, managing specifications, and recording feature requests. The program also sends notifications of new bugs and tasks to people who have been set responsible for them, and notifies the responsible people when the deadline of some bug or task is approaching. It features graphical presentations for tracking the progress of your project. Sirid keeps you informed of the status of each of your projects, and allows you to take action if difficulties arise.
WinDriver automates and simplifies the development of user-mode Linux device drivers for PCI, CardBus, ISA, PMC, PCI-X, PCI-EXPRESS, and CompactPCI as well as USB 1.1/2.0. No internal OS knowledge or kernel level programming is required. It supports kernel 2.0.31 and above, including embedded Linux, x86 and PowerPC processors, and any 32-bit development environment supporting C or Delphi. Applications are source code compatible across Windows 98/Me/NT/2000/XP/XP Embedded/Server 2003/CE, Linux, Solaris, and VxWorks.
SMATCH is a neat program designed to locate programming errors in any open source software project. Right now it is actively used to screen out errors inside the Linux kernel. There are two main parts to Smatch. The first is a patch to the gcc sources to screen out a lot of useful information. The second part is a collection of Perl scripts and libraries to analyze the information and report the findings.
Sparse is a semantic parser of source files. It's neither a compiler (although it could be used as a front-end for one) nor a preprocessor (although it contains a preprocessing phase). It is meant to be a small, simple, easy to use library. Its function is to create a semantic parse tree for some arbitrary user for further analysis. It's not a tokenizer, nor is it a generic context-free parser. Context (semantics) is what it's all about: figuring out not just what the grouping of tokens are, but what the types are that the grouping implies.
autoboot is a job scheduler/watchdog to automatically compile/boot and run test suites with experimental Linux kernels. It runs from a central server and a pool of clients. The central server builds various kernels, then automatically boots a subset of them on the clients and runs test suites (like autotest). The server is very careful to watch the clients for hangs and power switch them as needed, and will also automatically fetch serial logs from a console server. All the resulting information is stored in a unique output directory for each for easy post processing. autoboot is a collection of bash shell scripts. It will need some adaption for local infrastructure.
Agnix is a small, educational operating system kernel for i386, supporting 32-bit protected memory mode, paging, hardware switched tasks, memory tests, PCI bus, devices, PCI IRQ routing, RT timers, network protocols. It is available with all the source code and is fully compatible with the Linux kernel API.
Magento restriction of access by an IP or group of IPs.