fbos/kernel/trap.c, branch main

Move documentation to the proper places

2024-12-04T13:23:44Z

Code documentation was scattered between header and source files. Since the norm was already to have this documentation into header files, move some comments from source files to their header counterparts. This hopefully makes things more consistent. Signed-off-by: Miquel Sabaté Solà

Prepend the name of the task on debug

2024-12-02T19:47:19Z

On 'printk' and 'sys_write' calls, prepend the name of the task that is being executed for each message. This is an easy way to show off that we are doing the right thing with the 'tp' register, even if we don't do much with it. Signed-off-by: Miquel Sabaté Solà

Document what we mean by scheduling on this kernel

2024-11-30T22:42:08Z

The notion of 'scheduling' a process on this kernel is effectively the same as starting the process anew. This is pretty bananas for any general purpose kernel, but this is not our case. Signed-off-by: Miquel Sabaté Solà

Rename 'switch_to' to 'set_return_address_to'

2024-11-30T21:28:51Z

The original name came from a previous hack the did not work but somehow the old name remained. Now it was more misleading than anything else, so let's rename it to something that is closer to what it actually does. Signed-off-by: Miquel Sabaté Solà

dt: Fetch the CPU frequency as well

2024-11-26T12:59:54Z

If the 'timebase-frequency' property is available under the 'cpus' node from the DTB blob, it makes sense to try to fetch this value from there instead of hardcoding it. For other use-cases, where this information is not available through DT (e.g. ACPI on the VisionFive2 board), we will have to hardcode it with a default value even if it's not the proper one. Signed-off-by: Miquel Sabaté Solà

Simplify scheduling by introducing an init process

2024-11-24T21:22:48Z

Scheduling is easier if there is an init process which does nothing. This way we don't have to perform hacks in order to idle in S privilege mode while touching special registers in weird ways. For now this process is kind of costly since 'wfi' is not accepted in this context, but this can be further tuned down in the future by setting TW=1 on 'mstatus', or by handling the exception and allowing it if it comes from the proper process. All of that being said, there is still work to be done as things fail when optimitzations are on. Signed-off-by: Miquel Sabaté Solà

Enable exception handling from user mode

2024-11-22T22:00:46Z

This allows us to actually catch system calls and start to run user space programs. That being said, the whole thing is still pretty brittle, and the scheduler is not quite there yet. Signed-off-by: Miquel Sabaté Solà

Enable the timer from the SBI interface

2024-11-22T14:46:59Z

A basic interrupt handler has been implemented which tracks the seconds that have been elapsing along the way. Depending on the value of these seconds, then a task has to be called. Signed-off-by: Miquel Sabaté Solà