Rodrigo Arias

rarias opened issue rarias/jungle#80

2024-10-23 15:58:10 +02:00

CCache support

rarias created pull request rarias/ovni#7

2024-10-23 10:21:21 +02:00

trace-v3

rarias pushed to master at rarias/ovni

2024-10-23 10:20:16 +02:00

36cf3121d1 Fix implicit signed conversions

c8b95313ff Fix unaligned access to 64 bits payload

e5448af6d8 Rebuild ring buffer pointers after injecting events

49149e452c Check ring buffer order after injecting events

b2d91391b3 Add sort-into-previous-region emu test

Compare 74 commits »

rarias created branch trace-v3 in rarias/ovni

2024-10-23 10:18:45 +02:00

rarias pushed to trace-v3 at rarias/ovni

2024-10-23 10:18:45 +02:00

148aaa71a1 Make all atomic operations explicit

cdc5b9b866 Add trace diagram and organize concepts

5e502b67d2 Remove trailing slashes from tracedir

6aba89a8a8 Rename trace-model.md to just trace.md

9e6f691325 Add examples in some trace concepts

Compare 10 commits »

rarias pushed to tarball-nixos at rarias/nixos-riscv

2024-10-22 16:21:26 +02:00

5da53c69b8 Add tarball script for CI

rarias pushed to tarball-nixos at rarias/nixos-riscv

2024-10-22 16:20:45 +02:00

ebde95c29f Add tarball script for CI

rarias pushed to tarball-nixos at rarias/nixos-riscv

2024-10-22 14:12:59 +02:00

aed9c7f04f Add tarball script for CI

rarias created pull request rarias/nixos-riscv#1

2024-10-22 13:59:30 +02:00

Make a tarball with NixOS

rarias pushed to tarball-nixos at rarias/nixos-riscv

2024-10-22 13:58:33 +02:00

4c9333a409 Add tarball script for CI

rarias created branch tarball-nixos in rarias/nixos-riscv

2024-10-22 12:45:18 +02:00

rarias pushed to tarball-nixos at rarias/nixos-riscv

2024-10-22 12:45:18 +02:00

81bd11999a Use --zstd flag in tar

6cb22575b3 Print URL for tarball

53ab72fa20 Switch to ZST for tarball

97d477d285 Add tarball to CI and make steps manual

20fb2f9194 Add tarball for FPGA

Compare 5 commits »

rarias created branch master in rarias/nixos-riscv

2024-10-22 12:00:40 +02:00

rarias pushed to master at rarias/nixos-riscv

2024-10-22 12:00:40 +02:00

ccf41b441d Merge branch 'lagarto-ox' into 'master'

52101b0d9a Disable U-Boot verbose build

8d1bb60476 Print a message before we drop to a shell

ad5dd72928 Switch to debug2 instead of bench2

4333f8074e Configure SPI addresses in header

Compare 10 commits »

rarias created repository rarias/nixos-riscv

2024-10-22 10:54:39 +02:00

rarias commented on issue rarias/jungle#74

2024-10-18 12:59:23 +02:00

Shutdown machines on high temperature

Happening again:

rarias pushed to master at rarias/jungle

2024-09-20 09:45:53 +02:00

9a9161fc55 Delay nix-gc until /home is mounted

rarias pushed to master at rarias/jungle

2024-09-20 09:44:00 +02:00

1a0cf96fc4 Add dbautist user with access to hut

rarias opened issue rarias/jungle#79

2024-09-18 10:19:57 +02:00

Garbage collector begins before /home is mounted, causing removal of all gcroots

rarias created branch share-files in rarias/jungle

2024-09-16 16:34:09 +02:00