Line 19 in 3_uart/vexriscv.resc creates a server socket on port 1235 using emulation CreateServerSocketTerminal 1235 "externalUART" false. However, in line 18 of 3_uart/Makefile, the port number is set to 1234.

Hi Zak,
I was just exploring the kos on renode as you explained in your articles.

After setting everything up, i was able to get "kos>" shell and execute commands.

"?" worked fine, but when i enter "h", it prints "Hello world" and then renode crashes. I checked again and again, its crashing every time for "h" and "e", AFTER printing outputs.

Probable fix:

After digging a little deep, i saw that in the switch case of handle_interrupt() in baremetal.c, only case 4 (yield) has schedule and clear timer called, when i change the code to add those in case 3 (exit) like BELOW , "h" and "e" commands seem to work fine.

void handle_interrupt()
{
...
switch (syscall_no) {
case 2: // stop
current_process->status = Stopped;
break;
case 3: // exit
current_process->status = Dead;
schedule_processes();
clear_timer();
break;
case 4: // yield
current_process->status = Ready;
schedule_processes();
clear_timer();
break;
...
}

I don't know what exactly is the real source of the bug. Please check. Thanks for the articles and this repo.