5f90528b51
Add bootrom support
2024-07-08 18:11:11 +02:00
1f0ac64631
Add bitstream to Nix
2024-07-08 13:46:37 +02:00
f554a154b7
WIP
2024-05-28 18:12:14 +02:00
4d284ae315
Move qemu specific config to vm.nix
2024-03-07 12:03:02 +01:00
3b68bfda47
Add Lagarto Hun configuration
2024-03-01 18:33:30 +01:00
5bb469d1a4
Add FPGA OpenSBI and U-Boot
2024-03-01 18:19:59 +01:00
960badad9b
Enable recommended options in the kernel
2024-01-25 15:37:50 +01:00
9db6d05222
Remove old stdenv hack for the kernel
2024-01-25 15:37:18 +01:00
b7251e7a84
Build OpenSBI and u-boot without vector extension
2024-01-25 15:36:39 +01:00
c0ecd32173
Remove unneeded override of stdenv
...
The march and mtune flags are passed by the crossSystem gcc attributes,
which are placed *before* the flags to gcc. This may end up causing some
packages to break, but it is working fine so far.
2024-01-24 10:00:19 +01:00
3707e5708e
Disable EFI in the kernel and use normal stdenv
...
In order to build the kernel without compressed instructions we need to
disable EFI support. We also need to leave the kernel to figure the
proper -march and -mabi flags, as otherwise it fails to build. Using the
option "CONFIG_RISCV_ISA_C n" disables the use of compressed
instructions.
2024-01-22 13:37:00 +01:00
a333210fdc
Only change cross stdenv
...
Prevents mass rebuilds in x86, where the envvar doesn't have any effect.
2024-01-19 17:10:22 +01:00
635935cd09
Build packages without compressed instructions
2024-01-19 16:35:45 +01:00
98d04ee398
Also build u-boot ELF file for debugging
2024-01-19 16:32:40 +01:00
819c7e6e93
Build u-boot and the kernel without compressed
2024-01-19 16:31:53 +01:00
1fda5d7710
Set the bootcmd in u-boot
...
In QEMU the kernel is loaded at the ${kernel_addr_r} address and we need
to use booti instead of bootm.
2024-01-19 14:29:23 +01:00
9a475bc1e3
Booting Linux and userspace OK
2024-01-19 12:35:05 +01:00
2f387d3362
Use custom u-boot build
2024-01-18 17:58:00 +01:00
5dbb297adf
Fix qemu without rutabagaSupport
2024-01-18 15:59:51 +01:00
6f6e735ba7
Fix cross build of systemd 254.6
2024-01-18 14:13:42 +01:00
Rodrigo Arias Mallo
f8b624af67
Boot opensbi without compressed
2024-01-17 18:22:30 +01:00
