sorear changed the topic of #riscv to: RISC-V instruction set architecture | https://riscv.org | Logs: https://libera.irclog.whitequark.org/riscv | Matrix: #riscv:catircservices.org
mahk has quit [Ping timeout: 256 seconds]
jmdaemon has joined #riscv
jmdaemon has quit [Ping timeout: 255 seconds]
<smaeul> conchuod: yes, I need to do that. thanks for the reminder.
jmdaemon has joined #riscv
prabhakarlad has quit [Quit: Client closed]
shamoe has joined #riscv
Tenkawa has joined #riscv
jmdaemon has quit [Ping timeout: 255 seconds]
vagrantc has quit [Quit: leaving]
jmdaemon has joined #riscv
pabs3 has quit [Quit: Don't rest until all the world is paved in moss and greenery.]
pabs3 has joined #riscv
peeps has joined #riscv
peeps[zen] has quit [Read error: Connection reset by peer]
Kyuvi has joined #riscv
aredridel6 has joined #riscv
MaxGanzII has quit [Ping timeout: 255 seconds]
jmdaemon has quit [Ping timeout: 264 seconds]
Tenkawa has quit [Quit: Was I really ever here?]
aredridel has quit [Ping timeout: 272 seconds]
aredridel6 is now known as aredridel
jmdaemon has joined #riscv
jmdaemon has quit [Ping timeout: 264 seconds]
jmdaemon has joined #riscv
frkzoid has quit [Read error: Connection reset by peer]
frkazoid333 has joined #riscv
jmdaemon has quit [Ping timeout: 260 seconds]
Kyuvi has quit [Ping timeout: 250 seconds]
peeps has quit [Remote host closed the connection]
peeps has joined #riscv
EchelonX has quit [Quit: Leaving]
shamoe has quit [Quit: Connection closed for inactivity]
BootLayer has joined #riscv
mlw has joined #riscv
JanC has quit [Ping timeout: 268 seconds]
JanC has joined #riscv
heat has joined #riscv
heat_ has quit [Read error: Connection reset by peer]
heat has quit [Ping timeout: 264 seconds]
<geist> huh that's interesting, got a random machine check on my computer
<geist> process crashed
<geist> aaaaand wrong channel
<geist> alas, was a dirty stinky x86 machine
<geist> so it deserves it!
<sorear> counterpoint: all of the stuff that was needed when we pivoted from "pure research ISA" to "open-development commodity ISA" was hella rushed, if we'd _actually_ been developing H and AIA since 2010 they'd be much better
TMM_ has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
TMM_ has joined #riscv
naoki has joined #riscv
BootLayer has quit [Quit: Leaving]
junaid_ has joined #riscv
junaid_ has quit [Remote host closed the connection]
uzix has joined #riscv
uzix is now known as mahk
davidlt has joined #riscv
naoki has quit [Quit: naoki]
Kyuvi has joined #riscv
loki_val has quit [Ping timeout: 256 seconds]
crabbedhaloablut has joined #riscv
Trifton has quit [Remote host closed the connection]
Trifton has joined #riscv
crossdev has joined #riscv
crabbedhaloablut has quit [Ping timeout: 264 seconds]
crabbedhaloablut has joined #riscv
epony has quit [Remote host closed the connection]
prabhakar has quit [Ping timeout: 264 seconds]
prabhakar has joined #riscv
prabhakarlad has joined #riscv
Stat_headcrabed has joined #riscv
ezulian has joined #riscv
Stat_headcrabed has quit [Client Quit]
Kyuvi has quit [Ping timeout: 250 seconds]
ezulian has quit [Quit: ezulian]
drmpeg has quit [Ping timeout: 264 seconds]
ezulian has joined #riscv
mlw has quit [Remote host closed the connection]
czy has quit [Remote host closed the connection]
czy has joined #riscv
crest has joined #riscv
crest_ has quit [Ping timeout: 256 seconds]
davidlt has quit [Ping timeout: 255 seconds]
jobol has joined #riscv
ldevulder_ has joined #riscv
ldevulder has quit [Ping timeout: 256 seconds]
MaxGanzII has joined #riscv
drmpeg has joined #riscv
davidlt has joined #riscv
epony has joined #riscv
psydroid has joined #riscv
ldevulder_ is now known as ldevulder
crossdev has quit [Remote host closed the connection]
crossdev has joined #riscv
Stat_headcrabed has joined #riscv
shoragan has quit [Read error: Connection reset by peer]
shoragan has joined #riscv
Stat_headcrabed has quit [Quit: Stat_headcrabed]
Tenkawa has joined #riscv
shoragan has quit [Read error: Connection reset by peer]
shoragan has joined #riscv
<conchuod> sorear: reading this again, what is the actual scope of that config structure spec? In my naivety, I thought it was just for riscv standard/extension related things. I see stuff in here about discoverable buses though, which gives the impression they want to be able to describe a whole system, peripherals etc.
<sorear> good question, i've got "read everything from tech-config" on my todo list but it's near the bottom
<conchuod> sorear: The spec is only 1/8 written, it's not too bad.
<sorear> the answer might be in a working group charter or a google doc somewhere
<conchuod> I've started writing a mail, but I won't send it til I hear about the PoC.
<conchuod> If they really intend describing the entire system, I wish them luck.
MaxGanzII has quit [Remote host closed the connection]
MaxGanzII_ has joined #riscv
davidlt has quit [Ping timeout: 255 seconds]
prabhakar92 has joined #riscv
prabhakarlad62 has joined #riscv
prabhakarlad62 has quit [Client Quit]
mlw has joined #riscv
prabhakar has quit [Ping timeout: 256 seconds]
prabhakarlad81 has joined #riscv
prabhakarlad has quit [Ping timeout: 250 seconds]
prabhakar92 has quit [Client Quit]
prabhakar has joined #riscv
prabhakarlad81 has quit [Client Quit]
prabhakarlad has joined #riscv
JanC has quit [Ping timeout: 255 seconds]
JanC has joined #riscv
hmw has quit [Ping timeout: 260 seconds]
hmw has joined #riscv
EchelonX has joined #riscv
hmw has quit [Ping timeout: 272 seconds]
ezulian_ has joined #riscv
hmw has joined #riscv
ezulian has quit [Ping timeout: 255 seconds]
ntwk has quit [Read error: Connection reset by peer]
rsalveti has joined #riscv
epony has quit [Remote host closed the connection]
epony has joined #riscv
heat has joined #riscv
crest has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
crest has joined #riscv
MaxGanzII_ has quit [Remote host closed the connection]
MaxGanzII_ has joined #riscv
MaxGanzII_ has quit [Remote host closed the connection]
MaxGanzII_ has joined #riscv
Schnick is now known as TommyRainbow
TommyRainbow is now known as Schnick
<palmer> ya, they're just redoing device tree. This has been a problem for years, RVI is just brain dead
shamoe has joined #riscv
MaxGanzII_ has quit [Ping timeout: 255 seconds]
MaxGanzII_ has joined #riscv
davidlt has joined #riscv
epony has quit [Remote host closed the connection]
epony has joined #riscv
BootLayer has joined #riscv
crossdev has quit [Remote host closed the connection]
<drewfustini> palmer: are you able to pickup this defconfig patch?
wingsorc has joined #riscv
vagrantc has joined #riscv
davidlt has quit [Remote host closed the connection]
davidlt has joined #riscv
haritzondo has joined #riscv
haritz has quit [Ping timeout: 264 seconds]
prabhakar has quit [Ping timeout: 260 seconds]
prabhakarlad has quit [Ping timeout: 250 seconds]
<Tenkawa> davidlt: I was able to get the Mars to boot. I am making the ram dts adjustment patch now to see if that fix works.
<davidlt> Tenkawa, does it have eeprom to check the information?
<Tenkawa> It should.. its just another JH7110
<Tenkawa> Its another relabeled VF2 essentially
<Tenkawa> ok here goes...
ntwk has joined #riscv
pakcjo has joined #riscv
epony has quit [Remote host closed the connection]
lagash has quit [Remote host closed the connection]
lagash has joined #riscv
<sorear> What profile or other specification guarantees the availability of specific SBI sub-extensions? I just realized that sbi_send_ipi isn't actually mandatory in the SBI specification and I can't find where it is mandatory
prabhakar has joined #riscv
prabhakarlad has joined #riscv
<Tenkawa> davidlt: appears u-boot is reporting wrong as well
<Tenkawa> U-Boot SPL 2021.10 (Oct 08 2023 - 18:04:24 +0800)
<Tenkawa> LPDDR4: 4G version: g8ad50857.
<Tenkawa> Trying to boot from SPI
<Tenkawa> Now I'm not so sure they gave me the right board
<Tenkawa> going to try updating the firmware (if it can)
ldevulder has quit [Ping timeout: 264 seconds]
Andre_Z has joined #riscv
jobol has quit [Quit: Leaving]
epony has joined #riscv
ldevulder has joined #riscv
davidlt has quit [Ping timeout: 264 seconds]
bjdooks has quit [Read error: Connection reset by peer]
bjdooks has joined #riscv
davidlt has joined #riscv
Narrat has joined #riscv
<Tenkawa> I just successfully booted the buildroot image on NVMe on the MILK-V Mars board
epony has quit [Remote host closed the connection]
<Tenkawa> slowly by surely getting there
<Tenkawa> now I'm going to test getting Debian going
<sorear> that's one of the things I found, nowhere does it say that the extension is mandatory to implement
<jrtc27> probably because in the promised IMSIC future it won't be?
<conchuod> I had it in my head that nothing was really mandatory extension wise.
<conchuod> I would've expected something like the profiles spec to mandate some set of SBI extensions though.
<conchuod> Ah yes, BRS
<conchuod> "The S-Mode IPI (IPI) extension MUST be implemented, if the Incoming MSI Controller (IMSIC) cite: [Aia] is not available."
carefish has quit [Changing host]
carefish has joined #riscv
<sorear> I would expect there to be a requirement somewhere that there are at least N MSIs available for use as IPIs in addition to the ones needed for hardware
<sorear> I hope that once BRS is ratified they won't try to retroactively weaken any other requirements on the basis of other specifications that didn't exist at ratification time
BootLayer has quit [Quit: Leaving]
prabhakarlad has quit [Ping timeout: 250 seconds]
wingsorc has quit [Quit: Leaving]
heat_ has joined #riscv
heat has quit [Read error: Connection reset by peer]
jfsimon1981 has joined #riscv
shamoe has quit [Quit: Connection closed for inactivity]
prabhakar has quit [Ping timeout: 255 seconds]
<geist> yah, without it all you need is some external hardware that can fire a regular IRQ on a specific cpu
<geist> i've worked with a board with exactly this situation
<geist> also without machine based ipis, that also means other things like SBI based TLB shootdown doesnt work, since SBI can't internally do it
<sorear> conchuod's link clearly indicates that SBI TLB shootdowns (rfence) are not required if IMSIC exists
davidlt has quit [Ping timeout: 264 seconds]
<sorear> you probably wind up needing much of the IPI machinery for the suspend and performance control extensions
* geist nods
<geist> I need to read up on imsic. been working with archaic and nonstandard riscv stuff the last year so haven't had much chance to drool over new bits
<sorear> AIA is something like five unrelated extensions (IMSIC, APLIC, local interrupt prioritization, xvien/xvip, MRIF), two of which are purely memory mapped and three of which have a documented way to provide MSIs
vagrantc has quit [Quit: leaving]
<sorear> it's a huge amount of flexibility and I'm dreading whatever the device tree binding is going to look like
<geist> yah, APLIC I had dug into, hadn't looked at MRIF and IMSIC though
<sorear> i expect it'll be extremely slow in practice due to the requirement for enabled pending interrupts to take immediately and pipeline flushes whenever you touch anything tangentially interrupt related
shamoe has joined #riscv
crossdev has joined #riscv
zkrx has quit []
zkrx has joined #riscv
Tenkawa has quit [Quit: Was I really ever here?]
Tenkawa has joined #riscv
foton has joined #riscv
mlw has quit [Ping timeout: 264 seconds]
Andre_Z has quit [Quit: Leaving.]
foton has quit [Ping timeout: 264 seconds]
paulk has quit [Ping timeout: 260 seconds]
erg_ has joined #riscv
crossdev has quit [Read error: Connection reset by peer]
paulk has joined #riscv
paulk has joined #riscv
pakcjo has quit [Ping timeout: 264 seconds]
pakcjo has joined #riscv
erg_ has quit [Remote host closed the connection]
jfsimon1981 has quit [Remote host closed the connection]
jfsimon1981 has joined #riscv
EchelonX has quit [Quit: Leaving]
KREYREN_ has quit [Remote host closed the connection]
KREYREN_ has joined #riscv
KREYREN_ has quit [Remote host closed the connection]
KREYREN_ has joined #riscv
sgm has joined #riscv
dilfridge has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
ezulian_ has quit [Ping timeout: 264 seconds]
dilfridge has joined #riscv
Narrat has quit [Quit: They say a little knowledge is a dangerous thing, but it's not one half so bad as a lot of ignorance.]
psydroid has quit [Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/]
jfsimon1981 has quit [Remote host closed the connection]
vagrantc has joined #riscv
heat_ has quit [Remote host closed the connection]
Tenkawa has quit [Quit: Was I really ever here?]
TMM_ has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
TMM_ has joined #riscv
epony has joined #riscv
epony has quit [Quit: QUIT]
heat has joined #riscv