/*
Copyright (C) 2016-2019 The University of Notre Dame
This software is distributed under the GNU General Public License.
See the file LICENSE for details.
*/

#ifndef KSHELL_H
#define KSHELL_H

int kshell_execute(int argc, const char **argv);
int kshell_launch();

#endif
