Search Results for "linux kernel" - Page 3

This is a C source code scanner based on symbolic logic. It analyses C source code (especially that of the Linux kernel, at which it is aimed) for programming errors and vulnerabilities. The tests are defined by the user.

This is just a simple C program to compile your C++ code to a Debian executable. Only works with a kernel running bash. Recently I looked at the download stats and someone from the Philippines downloaded this onto a Windows machine, so apparently I need to clear this up: If you can't tell already, THIS PROGRAM IS FOR DEBIAN LINUX DISTRIBUTIONS ONLY! I REPEAT: THIS PROGRAM IS FOR DEBIAN LINUX DISTRIBUTIONS ONLY! Note: This was compiled on Ubuntu 12.10, it may not work on just a classic Debian system.

This project aims to provide a linux kernel regression test framework which will provide a systematic way to find a regression of the Linux Kernel.

*** NOTE: as of Sept 2012, Synopsys is no longer using this project to update GNU Toolchain and Linux kernel for DesignWare ARC processors. Open Source Software for DesignWare ARC processors has been moved to github at: https://github.com/foss-for-synopsys-dwc-arc-processors

[ Design and Implementation of the Singhal token based mutual exclusion algorithm in kernel-space of FreeBSD ] | Data & Network Security Lab (DNSL) | Room 501, Floor 5, | Department of Computer Engineering | Sharif University of Technology | Azadi Ave., Tehran, Iran Vahid Khodabakhshi <vkhodabakhshi@ce.sharif.edu> Vahid Ranjbar <vranjbar@ce.sharif.edu> Also see the Acknowledgement file Please send bugs to our e-mail

This project is aimed at providing (open) software to support pure virtual interface for Linux Kernel. All Linux networking functionality will be supported on these interfaces. For Release 1.1 1) Adds support for connectivity between the vnics of two different systems by way of creating overlays. (VXLAN style) 2) On a virtual environment it can either run on hypervisor or inside a VM (as applicable). - Dipjyoti Saikia (Developer/Admin) <dipjyoti.saikia@gmail.com>

Graphical OS Kernel compiled with gcc 4.6.1 and nasm 2.09.08

The OpenCL Kernel Compiler compiles OpenCL kernel files and presents any compilation errors in a form commonly used by "regular" C/C++ compilers. It is intended to be used as a supporting tool for application developers working with OpenCL. Version 0.3.0 adds additional features for saving compiled binaries and selecting platforms/devices.

JoystickLIb is a Low 'n High level library for joystick for Linux Kernel, only for GNU/Linux.

This project is an userland library implementation of the Task Queue facility in the OpenSolaris kernel that simplifies thread management. Task Queues are somewhat similar to dispatch queues in Grand Central Dispatch but are more flexible.

CLara is a framework that enables you to access the computing power of many graphics processors in an IP-based network using a kind of Client/Proxy/Server model. Its programming interface conforms to the OpenCL 1.0 standard.

LinMemTags library provides Linux kernel developers with ability setting unique tags to allocated kernel memory and track them through Proc file system. linmemtags implements idea of memory tagging similar to MS Windows Kernel tagging mechanism.

The **libmsgque** project is an infrastructure that allows multiple package-items to be linked together to act as one application. To link, you need to distribute the work from one package-item to another package-item and wait for an answer or not. > Philosophy: Write Once → Run Everywhere The package-item can be a thread, a separate local process that is started by fork or spawn, or even a network of multiple services on multiple hosts. The package-item can be written in any...

Add symbolic debugging capability for gdb when it is used for debugging kernel without touching kernel source.

CooCox CoOS is an Embedded RTOS specially for ARM Cortex-M3. It is a real-time multitask kernel which accords with CMSIS ( Cortex Microcontroller Software Interface Standard ). It is a free and open real-time Operating System.

Test environment of Video for Linux API based Linux kernel drivers.

The uname_hack kernel module causes generic architecture information to be provided by the kernel. This patch is only required for a Linux kernel. The K486 kernel is IA32 compatible, and does not reveal an i686 architecture.

FIRMAMENT runs, inside the Linux kernel, user supplied micro-programs over each processed message to emulate communication fault situations, using a script approach. The tool is appropriate to perform experiments over protocols and distributed systems.

XSystem Kernel Project - an object-oriented 32-bit protected-mode operating system for IA32-architecture.

IA-32 operating system with Java virtual machine embedded into the kernel. Part of the kernel is written in Java. Only Java applications can run on this system. jArt VM is a stand-alone virtual machine that interprets java bytecode. It can run under Linu

Function call tracing in the Linux kernel and userspace applications. Dynamically sets probes (using VProbes, a KProbes variant) and displays the function call trace of a process calling kernel or application functions. The superior of strace and ltrace.

The Linux Kernel Translation Project: up-to-date collection of kernel configuration and document translations.

A tool to analyze the patch amount in Linux kernel Changelog. It will read a Changelog file as input, and output the amount of patches which were committed by some company and person.

The libtune project aims at providing a standard API to unify the various ways Linux developers have to access kernel tunables, system information, resource consumptions.

XVMSocket is a Linux Kernel Module that provides a new socket family for high throughput (40-70 times better than TCP/IP sockets) between applications running on different guest Linux VMs on the same Xen system. No changes to Xen or Linux required.