sand7000
sand7000
Running up to date archlinux with fluxbox. The overlay intercepts all mouse clicks and keystrokes making the system unusable. Also I had to install xcompmgr to get this to have...
I can create a users password with whitespace on the openvpn access server web interface but the user cannot connect to the vpn using that password. They see the error:...
I would appreciate some help in debugging my attempt to add the rockpro64 to renode. I attempted to generate a repl file for the board using dtstorepl: https://github.com/antmicro/dts2repl I tried...
### Description Please update the extension to support 64 bit RISCV. The seL4 debug extension discussed here: https://antmicro.com/blog/2022/06/sel4-userspace-debugging-with-gdb-extensions-in-renode/ Doesn't support 64 bit RISCV. I get an error thrown by this...
### Description seL4 unable to write to UART on cortex-a53 simulation. 16:15:28.2899 [ERROR] uart0: DATA register cannot be written to; UARTEN is disabled! (616) 16:15:28.2921 [WARNING] sysbus: [cpu: 0xFFFFFF8040000000] ReadByte...
I would love to see the POC you demoed here: https://twitter.com/layle_ctf/status/1221514332049113095?s=12 You mentioned publishing after people had a chance to patch and its been quite a while. Thanks!
I added the rock pro to Ivan's fork: https://github.com/Ivan-Velickovic/microkit and I was able to boot the hello example on the rockpro64 without issues. I have added my changes against the...
Added some (hopefully) helpful additional content about booting on QEMY emulated polarfire.
I am attempting the generate a repl for the rb5 by following the instructions here: https://github.com/antmicro/dts2repl There is a dts in the linux source so to start I downloaded: https://github.com/torvalds/linux/archive/refs/tags/v6.10.zip...