//
// Created by rick on 01-02-21.
//

#ifndef NEW_KERNEL_READLINE_H
#define NEW_KERNEL_READLINE_H

char* readline(const char *prompt);

#endif //NEW_KERNEL_READLINE_H