diff --git a/lagarto-ox.nix b/lagarto-ox.nix
index 0a96131..319cb5c 100644
--- a/lagarto-ox.nix
+++ b/lagarto-ox.nix
@@ -212,7 +212,8 @@
       fdt set /memory@80000000  reg <0x0 0x80000000 0x0 0xc0000000>
 
       # Set kernel options
-      setenv bootargs "root=/dev/ram0 loglevel=7 debug rw earlycon=sbi boot.trace console=hvc0 debug1 init=${init}"
+      setenv debugargs "debug1 trace_options=sym-addr trace_event=initcall:* tp_printk trace_buf_size=1M"
+      setenv bootargs "root=/dev/ram0 loglevel=7 debug rw earlycon=sbi boot.trace console=hvc0 \''${debugargs} init=${init}"
 
       EOF