Commit 443ab412 authored by Jack Lange's avatar Jack Lange

added PETLAB license notice

parent d4e1e855
This software is developed by the Prognostic Lab at the University of
Pittsburgh through funding from the United States National Science
Foundation, Department of Energy and Sandia National Laboratories.
You can find out more at http://www.prognosticlab.org
Copyright (c) 2014, Jack Lange <jacklange@cs.pitt.edu>
Copyright (c) 2014, The Prognostic Lab <http://www.prognosticlab.org>
All rights reserved.
Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions are met:
* Redistributions of source code must retain the above copyright
notice, this list of conditions and the following disclaimer.
* Redistributions in binary form must reproduce the above copyright
notice, this list of conditions and the following disclaimer in the
documentation and/or other materials provided with the distribution.
* Neither the name of the V3VEE Project, nor the
names of its contributors may be used to endorse or promote products
derived from this software without specific prior written permission.
IN THE FOLLOWING, "THE AUTHORS" REFERS TO THE COPYRIGHT HOLDERS AND
ALL CONTRIBUTORS.
THIS SOFTWARE IS PROVIDED BY THE AUTHORS AND THE V3VEE
PROJECT ''AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING,
BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND
FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL
THE AUTHORS OR THE V3VEE PROJECT BE LIABLE FOR ANY
DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
(INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
/* Pisces Interface Library
* (c) 2014, Jack Lange <jacklange@cs.pitt.edu>
/*
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
/* Pisces Interface Library */
#include <stdio.h>
#include <unistd.h>
......
/* Pisces Interface Library
* (c) 2014, Jack Lange <jacklange@cs.pitt.edu>
/*
* Copyright (c) 2014, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
/* Pisces Interface Library */
#ifndef __PISCES_H__
#define __PISCES_H__
......
/*
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
/*
* Pisces Resource Control Utility
* (c) 2014, Jack Lange <jacklange@cs.pitt.edu>
*/
......
/*
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
/*
* Pisces Enclave Console Utility
* (c) Jiannan Ouyang, 2013
*/
......
/*
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
/*
* Pisces Enclave control Utility
* (c) Jack Lange, 2013
* (c) Jiannan Ouyang, 2013
*/
#include <stdio.h>
......
/*
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
/* Pisces Interface Library
* (c) 2014, Jack Lange <jacklange@cs.pitt.edu>
*/
#ifndef __PISCES_CTRL_H__
......
/*
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
#include <stdio.h>
#include <unistd.h>
#include <stdlib.h>
......
/*
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
#include <stdio.h>
#include "pisces.h"
......
/*
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
#include <stdio.h>
#include <unistd.h>
#include <stdlib.h>
......
/*
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
#include <stdio.h>
#include <unistd.h>
#include <stdlib.h>
......
/*
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
#include <stdio.h>
#include <unistd.h>
#include <stdlib.h>
......
/*
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
#include <stdio.h>
#include <unistd.h>
#include <stdlib.h>
......
/*
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
#ifndef __PISCES_TYPES_H__
#define __PISCES_TYPES_H__
......
/*
* Copyright (c) 2014, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
#include <stdio.h>
#include <unistd.h>
#include <stdlib.h>
......
/*
* Copyright (c) 2010, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
/*
* V3 Console utility
* Taken from Palacios console display in MINIX ( by Erik Van der Kouwe )
* (c) Jack lange, 2010
* (c) Peter Dinda, 2011 (Scan code encoding)
*/
......
/*
* Copyright (c) 2010, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
/*
* V3 Console utility
* Taken from Palacios console display in MINIX ( by Erik Van der Kouwe )
* (c) Jack lange, 2010
* (c) Peter Dinda, 2011 (Scan code encoding)
*/
......
/*
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
/*
* Pisces/V3 Control utility
* (c) Jack lange, 2013
*/
#include <stdio.h>
......
/*
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
/*
* Pisces/V3 Control utility
* (c) Jack lange, 2013
*/
......
/*
* Copyright (c) 2011, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
/*
* V3 Control utility
* (c) Jack lange, 2011
*/
......
/*
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
/*
* Pisces/V3 Control utility
* (c) Jack lange, 2013
*/
......
/* Host PCI User space tool
* (c) Jack Lange, 2012
* jacklange@cs.pitt.edu
/*
* Copyright (c) 2012, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
/* Host PCI User space tool */
#include <stdio.h>
#include <stdlib.h>
#include <fcntl.h>
......
/*
* V3 Control utility
* (c) Jack lange, 2010
* Copyright (c) 2010, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
/*
* V3 Control utility
*/
#include <stdio.h>
......
/*
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
#include <linux/delay.h>
#include <linux/mutex.h>
......
/*
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
#ifndef _BOOT_H_
#define _BOOT_H_
......
/*
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
#ifndef __PISCES_CMDS_H__
#define __PISCES_CMDS_H__
......
/* Pisces Enclave
* (c) 2013, Jack Lange, (jacklange@cs.pitt.edu)
* (c) 2013, Jiannan Ouyang, (ouyang@cs.pitt.edu)
/*
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
#include <linux/slab.h>
#include <linux/kernel.h>
#include <linux/device.h>
......
/* Pisces Enclave
* (c) 2013, Jack Lange, (jacklange@cs.pitt.edu)
* (c) 2013, Jiannan Ouyang, (ouyang@cs.pitt.edu)
/*
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
#ifndef __ENCLAVE_H__
#define __ENCLAVE_H__
......
/* Pisces Console / Userland interface
* (c) 2013, Jiannan Ouyang (ouyang@cs.pitt.edu)
* (c) 2013, Jack Lange (jacklange@cs.pitt.edu)
/*
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
/* Pisces Console / Userland interface */
#include <linux/module.h>
#include <linux/fs.h> /* device file */
......
/* Pisces Enclave
* (c) 2013, Jack Lange, (jacklange@cs.pitt.edu)
* (c) 2013, Jiannan Ouyang, (ouyang@cs.pitt.edu)
/*
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
#ifndef __ENCLAVE_CONS_H__
#define __ENCLAVE_CONS_H__
......
/*
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
#include <linux/types.h>
#include <linux/sched.h>
#include <linux/fs.h>
......
/*
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
#ifndef _PISCES_CTRL_H_
#define _PISCES_CTRL_H_
......
/*
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
#include "pisces_lcall.h"
#include "util-hashtable.h"
#include "file_io.h"
......
/*
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
#ifndef __ENCLAVE_FS__
#define __ENCLAVE_FS__
......
/*
* IOMMU Management
* (c) Brian Kocoloski, 2016 (briankoco@cs.pitt.edu)
/*
* Copyright (c) 2016, Brian Kocoloski <briankoco@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
/* IOMMU Management */
#include <linux/kernel.h>
#include <linux/version.h>
#include <linux/spinlock.h>
......
/*
* IOMMU Management
* (c) Brian Kocoloski, 2016 (briankoco@cs.pitt.edu)
/*
* Copyright (c) 2016, Brian Kocoloski <briankoco@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
/* IOMMU Management */
#ifndef _ENCLAVE_IOMMU_H_
#define _ENCLAVE_IOMMU_H_
......
/*
* Device Assignment
* (c) Jiannan Ouyang, 2013 (ouyang@cs.pitt.edu)
/*
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
#include <linux/kernel.h>
......
/*
* Device Assignment
* (c) Jiannan Ouyang, 2013 (ouyang@cs.pitt.edu)
/*
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
#ifndef _PISCES_PCI_H_
......
/* File interface
* (c) Jack Lange, 2012
/*
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
#include <linux/fs.h>
#include <linux/namei.h>
......
/* File Interface
* (c) Jack Lange, 2012
/*
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
#include <linux/fcntl.h>
int file_mkdir(const char * pathname, unsigned short perms, int recurse);
......
/*
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
.data
.align 8
.globl launch_code_start
......
/*
* Pisces main interface
* (c) 2013, Jiannan Ouyang, (ouyang@cs.pitt.edu)
* (c) 2013, Jack Lange, (jacklange@cs.pitt.edu)
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
#include <linux/kernel.h>
......
/*
* Copyright (c) 2010, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
#include <linux/types.h>
#include "pgtables.h"
......
/*
* Copyright (c) 2010, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
#ifndef _PGTABLES_H
#define _PGTABLES_H
......
/*
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
#include <linux/fs.h>
#include <linux/mutex.h>
#include <linux/percpu.h>
......
/*
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
/*
* Pisces Booting Protocol
* This file is shared with enclave OS
......
/*
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
#ifndef _PISCES_H_
#define _PISCES_H_
......
/*
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
/*
* Remote system call implementation
* (c) Jack Lange, 2013 (jacklange@cs.pitt.edu)
*/
#include <linux/types.h>
......
/*
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
/*
* Remote system call implementation
* (c) Jack Lange, 2013 (jacklange@cs.pitt.edu)
*/
#ifndef __PISCES_LCALL_H__
......
/* Pisces Cross OS Spinlock implementation
* (c) 2013, Jiannan Ouyang
/*
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
/* Pisces Cross OS Spinlock implementation */
#include "pisces_lock.h"
......
/* Pisces Cross OS Spinlock implementation
* (c) 2013, Jiannan Ouyang (ouyang@cs.pitt.edu)
* (c) 2013, Jack Lange (jacklange@cs.pitt.edu)
/*
* Copyright (c) 2013, Jack Lange <jacklange@cs.pitt.edu>
* All rights reserved.
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "PETLAB_LICENSE".
*/
......