2018-10-18 08:16:30 -03:00
|
|
|
#include "Userspace.cpp"
|
|
|
|
|
|
|
|
|
|
using namespace Userspace;
|
|
|
|
|
|
2018-10-18 10:38:04 -03:00
|
|
|
extern "C" int elf_entry()
|
2018-10-18 08:16:30 -03:00
|
|
|
{
|
|
|
|
|
int fd = open("/Banner.txt");
|
|
|
|
|
char buf[2048];
|
|
|
|
|
int nread = read(fd, buf, sizeof(buf));
|
|
|
|
|
buf[nread] = '\0';
|
2018-10-22 06:53:30 -03:00
|
|
|
for (int i = 0; i < nread; ++i) {
|
|
|
|
|
putch(buf[i]);
|
|
|
|
|
}
|
2018-10-18 08:16:30 -03:00
|
|
|
return 0;
|
|
|
|
|
}
|