fbos/.gitignore, branch main

Fix gdb target by not removing ELF executable

2024-11-29T21:43:56Z

GDB actually needs the ELF executable to run a session with symbols loaded in. Hence, do not remove the `fbos.elf` file after calling `objcopy`. Signed-off-by: Miquel Sabaté Solà

Add a make target for producing a release archive

2024-11-25T20:21:17Z

Signed-off-by: Miquel Sabaté Solà

Initial parsing of the provided initrd file

2024-11-21T12:09:21Z

We expect a CPIO archive with the 'newc' format for the initrd. Parse this archive from the given initrd address and fetch the address for each ELF executable while also pairing which task correspond to which ELF. This commit leaves to do the actual parsing of the ELF file for each task, while also leaving some string utilities to be refined. Signed-off-by: Miquel Sabaté Solà

Fetch the initrd address from the DTB blob

2024-11-20T10:43:08Z

The kernel entry has a pointer to the DTB blob as a parameter. From this pointer we can parse the the DTB blob to find the properties "chosen->linux,initrd-start" and "chosen->linux,initrd-start". These properties are guaranteed to have 64-bit addresses which point where the initrd is in memory, which we need to fetch the binaries to be loaded. Signed-off-by: Miquel Sabaté Solà

usr: Bootstrap the initramfs for the kernel

2024-11-18T14:56:37Z

Introduce a sample `foo` program which already calls the `write_and_block` system call which is yet to be implemented by this kernel. Moreover, the same CPIO format is used for the initramfs as with Linux, so we can pass it with QEMU without worries. Signed-off-by: Miquel Sabaté Solà

Bootstrap the project

2024-08-24T07:13:49Z

For now the base layout has been defined and we have a binary that is properly reached through openSBI. Signed-off-by: Miquel Sabaté Solà