/*
 * SecBus - This file is part of SecBus
 * Copyright (C) 2012 - Telecom ParisTech
 * 
 * This file must be used under the terms of the CeCILL.
 * This source file is licensed as described in the file COPYING, which
 * you should have received as part of this distribution.  The terms
 * are also available at    
 * http://www.cecill.info/licences/Licence_CeCILL_V1.1-US.txt
 *
 */

#ifndef _PAGE_SIZE_H
#define _PAGE_SIZE_H

static size_t pageLevel = 4;

static size_t pageSize[4] = {
  0x1000000,
  0x100000,
  0x10000,
  0x1000
};

#endif
