Reynir Björnsson
Reynir Björnsson
No, it closes the connection somewhat abruptly (as noted in PR). I'd like to be able to send a message such as "Disconnecting you. Goodbye!" and have that arrive to...
Hello @chubin, Thank you for your report. First of all, I would like to say that I am not actively maintaining this project anymore. Since utop 2.0.1 ocp-index-top doesn't work...
With gdb 10.1 it works for me FWIW ``` $ solo5-hvt-debug --gdb hello.hvt solo5-hvt-debug: Waiting for a debugger. Connect to it like this: solo5-hvt-debug: gdb --ex="target remote localhost:1234" KERNEL solo5-hvt-debug:...
I am able to reproduce on GDB 10.1 if I pass the KERNEL argument. Searching for the error `Truncated register 24 in remote 'g' packet` I saw results suggesting that...
After diving into this I have discovered that it is due to gdb expecting more registers when it queries solo5-hvt-gdb's gdb server. In this commit I blank in the remaining...
Likely we want to use `KVM_GET_FPU` at least.
I will test it next week :+1:
I created a unikernel that prints out the current time every second, and built it with the latest release and with this branch and the solo5 branch. I then started...
There are some things to consider: Should the computation of `offset` and `refresh ()` be implemented in C? It is a time sensitive computation, and it would be unfortunate if...
Sure. The current state of solo5 is that an offset from the monotonic clock relative to the system clock (wall clock) is computed once at boot. The code has a...