ChanServ changed the topic of #asahi-dev to: Asahi Linux: porting Linux to Apple Silicon macs | Non-development talk: #asahi | General development | GitHub: https://alx.sh/g | Wiki: https://alx.sh/w | Logs: https://alx.sh/l/asahi-dev
hdbngr has quit [Ping timeout: 480 seconds]
XeR has quit []
mildsunrise3 has quit [Quit: disconnect]
mildsunrise3 has joined #asahi-dev
chrisl has joined #asahi-dev
chrisl has quit [Ping timeout: 480 seconds]
chrisl has joined #asahi-dev
chrisl has quit [Ping timeout: 480 seconds]
chrisl has joined #asahi-dev
chrisl has quit [Ping timeout: 480 seconds]
chrisl has joined #asahi-dev
chrisl has quit [Ping timeout: 480 seconds]
gabuscus has quit []
chrisl has joined #asahi-dev
hdbngr has joined #asahi-dev
chrisl has quit [Ping timeout: 480 seconds]
chrisl has joined #asahi-dev
hdbngr has quit [Ping timeout: 480 seconds]
hdbngr has joined #asahi-dev
chrisl has quit [Ping timeout: 480 seconds]
hdbngr has quit [Ping timeout: 480 seconds]
chrisl has joined #asahi-dev
pb17 has quit [Ping timeout: 480 seconds]
chrisl has quit [Ping timeout: 480 seconds]
prike8 has joined #asahi-dev
chrisl has joined #asahi-dev
prike has quit [Ping timeout: 480 seconds]
prike8 is now known as prike
tobhe has joined #asahi-dev
chrisl has quit [Ping timeout: 480 seconds]
tobhe_ has quit [Ping timeout: 480 seconds]
skipwich has quit [Remote host closed the connection]
<chadmed>
thoughts on dropping unused parts of the ADT API? the original design was meant to be 1:1 with libfdt readonly but there are a few methods that are actually unused anywhere in m1n1
<chadmed>
getting rid of them will allow the Rust side to be more sound by default
chrisl has joined #asahi-dev
chrisl has quit [Ping timeout: 480 seconds]
snklp has joined #asahi-dev
ravikant_ has joined #asahi-dev
chrisl has joined #asahi-dev
hdbngr has joined #asahi-dev
bjoto has joined #asahi-dev
chrisl has quit [Ping timeout: 480 seconds]
nickchan- has joined #asahi-dev
nickchan has quit [Remote host closed the connection]
chrisl has joined #asahi-dev
chrisl has quit [Ping timeout: 480 seconds]
chrisl has joined #asahi-dev
chrisl has quit [Ping timeout: 480 seconds]
<sven>
fine with me
<sven>
also happy to change the C API completely, the current one is bit awkward
chrisl has joined #asahi-dev
chrisl has quit [Ping timeout: 480 seconds]
chrisl has joined #asahi-dev
nela2 is now known as nela
nela has quit [Quit: bye!]
nela has joined #asahi-dev
<chadmed>
do we have coccinelle? :P
<chadmed>
there are soooo many consumers
chrisl has quit [Ping timeout: 480 seconds]
<sven>
true :D
<chadmed>
what do you consider awkward about it? i personally think the way you get a reg container is a bit insane but idk if thats constrained by how the ADT works or what
chadmed has quit [Quit: Konversation terminated!]
chadmed has joined #asahi-dev
chrisl has joined #asahi-dev
<sven>
all this node offset stuff always feels weird to me
<sven>
and yeah, getting the reg container is also, uh, interesting
<sven>
I think it all comes from the fdt api which feels like a very thin wrapper around the fdt format
<chadmed>
yeah the idea was to copy what fdt does but its not very ergonomic
<chadmed>
im not sure why get_reg needs to iterate over an entire absolute path though
<chadmed>
thats why i didnt touch it and just copied it 1:1
<chadmed>
imo it should just be get_reg(*ADTNode node, int reg_index)
<sven>
yeah, something like that
<chaos_princess>
isn't it because of the offsets, you constantly need to re-walk the data structure if you have done any changes
<sven>
and the offset stuff shouldn’t be exposed to the API level, that’s imho an implementation detail
<chadmed>
chaos_princess: the API is incapable of making any changes though apart from setting the value of some property
<chadmed>
it cant add/remove nodes or properties
<chaos_princess>
can you set a prop to a bigger value?
<chaos_princess>
and does that shift things around?
<chadmed>
nah they have to be the same size
<chadmed>
or we return AdtError::BadLength
<chaos_princess>
i think we can rip out 99% of the offset stuff then
<chadmed>
yeah
chrisl has quit [Ping timeout: 480 seconds]
<chadmed>
i dont feel like rewriting like 30% of m1n1 before i go on holiday though
<chaos_princess>
we do not care about offset invalidation, so newtype the offsets for rust and keep them as ints for c api
<sven>
just ask your favorite slop generator to do the rewrite /s
<chadmed>
i tried gpt-5 at work the other day out of curiosity and its honestly worse than i expected it to be
<sven>
I tried it for the atcphy dt bindings a few weeks ago. it created two subtle errors that took me longer to fix that just writing the entire thing myself :/
<sven>
where it was some copilot model, dunno which one
<chaos_princess>
it is such a hilarious shitshow, they focused more on coding, but according to slop enjoyers, claude is still better, and now they have people who used 4o as a "friend replacement" whining at them for changing the personality they got used to
<chadmed>
we're out of the blitzscaling phase and into the "haha whatre you gonna do, not use it?" phase
<chadmed>
took saas/cloud like 15 years to get to the same point :P
chrisl has joined #asahi-dev
<jannau>
get_reg needs to walk the tree to do "ranges" based address translation
chrisl has quit [Ping timeout: 480 seconds]
chrisl has joined #asahi-dev
chrisl has quit [Ping timeout: 480 seconds]
<chadmed>
i wonder then if its better to simply do get_reg(ADTNode *node, int reg_index) then internally build the tree and not expose path_offset_trace at all
<chadmed>
but then we're doing that twice, since we still need to do that to get the reference to the node in the first place...
maz_ has joined #asahi-dev
chrisl has joined #asahi-dev
hdbngr has quit [Ping timeout: 480 seconds]
chrisl has quit [Ping timeout: 480 seconds]
chrisl has joined #asahi-dev
hdbngr has joined #asahi-dev
chrisl has quit [Ping timeout: 480 seconds]
hdbngr has quit [Ping timeout: 480 seconds]
chrisl has joined #asahi-dev
hdbngr has joined #asahi-dev
maz_ has quit []
maz_ has joined #asahi-dev
chrisl has quit [Ping timeout: 480 seconds]
hdbngr has quit [Ping timeout: 480 seconds]
chrisl has joined #asahi-dev
maz_ has quit []
hdbngr has joined #asahi-dev
chrisl has quit [Ping timeout: 480 seconds]
hdbngr has quit [Ping timeout: 480 seconds]
hdbngr has joined #asahi-dev
<nickchan->
updated two pre-m1 prs the armv8-a one now compiles the asm and hv code as armv8.2-a (all other c file armv8-a), and the requested changes for the uncore pmc handling one
chrisl has joined #asahi-dev
<nickchan->
Technically I should go and patch Linux's upmc handling too but there's not much incentive to do so right now... since the bootloader will silence the registers already
hdbngr has quit [Ping timeout: 480 seconds]
chrisl has quit [Ping timeout: 480 seconds]
hdbngr has joined #asahi-dev
hdbngr has quit [Ping timeout: 480 seconds]
hdbngr has joined #asahi-dev
<chadmed>
okay i have an idea for getting rid of offsets entirely but it will require some glue code for the C binding
<chadmed>
the runtime cost should be negligible though
hdbngr has quit [Ping timeout: 480 seconds]
ravikant_ has quit [Ping timeout: 480 seconds]
hdbngr has joined #asahi-dev
hdbngr has quit [Ping timeout: 480 seconds]
hdbngr has joined #asahi-dev
nickchan- has quit [Quit: ZNC 1.9.1+deb2+b3 - https://znc.in]
nickchan has joined #asahi-dev
chrisl has joined #asahi-dev
hdbngr has quit [Ping timeout: 480 seconds]
chrisl has quit [Ping timeout: 480 seconds]
chrisl has joined #asahi-dev
glem8100548899408 has joined #asahi-dev
glem810054889940 has quit [Ping timeout: 480 seconds]
glem8100548899408 is now known as glem810054889940
chrisl has quit [Ping timeout: 480 seconds]
<jannau>
the joys of running make dtbs_check on the t602x device trees
chrisl has joined #asahi-dev
ravikant_ has joined #asahi-dev
hdbngr has joined #asahi-dev
chrisl has quit [Ping timeout: 480 seconds]
chrisl has joined #asahi-dev
chrisl has quit [Ping timeout: 480 seconds]
chrisl has joined #asahi-dev
hdbngr has quit [Ping timeout: 480 seconds]
hdbngr has joined #asahi-dev
chrisl has quit [Ping timeout: 480 seconds]
chrisl has joined #asahi-dev
hdbngr has quit [Ping timeout: 480 seconds]
chrisl has quit [Ping timeout: 480 seconds]
hdbngr has joined #asahi-dev
chrisl has joined #asahi-dev
snklp1 has joined #asahi-dev
snklp has quit [Quit: snklp]
snklp1 is now known as snklp
snklp has quit []
hdbngr has quit [Ping timeout: 480 seconds]
chrisl has quit [Ping timeout: 480 seconds]
hdbngr has joined #asahi-dev
chrisl has joined #asahi-dev
hdbngr has quit [Ping timeout: 480 seconds]
chrisl has quit [Ping timeout: 480 seconds]
midou has quit [Ping timeout: 480 seconds]
hdbngr has joined #asahi-dev
chrisl has joined #asahi-dev
hdbngr has quit [Ping timeout: 480 seconds]
chrisl has quit [Ping timeout: 480 seconds]
hdbngr has joined #asahi-dev
john-cabaj has joined #asahi-dev
chrisl has joined #asahi-dev
midou has joined #asahi-dev
hdbngr has quit [Ping timeout: 480 seconds]
hdbngr has joined #asahi-dev
chrisl has quit [Ping timeout: 480 seconds]
hdbngr has quit [Ping timeout: 480 seconds]
chrisl has joined #asahi-dev
hdbngr has joined #asahi-dev
chrisl has quit [Ping timeout: 480 seconds]
hdbngr has quit [Ping timeout: 480 seconds]
chrisl has joined #asahi-dev
zumi has joined #asahi-dev
hdbngr has joined #asahi-dev
chrisl has quit [Ping timeout: 480 seconds]
chrisl has joined #asahi-dev
hdbngr has quit [Ping timeout: 480 seconds]
hdbngr has joined #asahi-dev
chrisl has quit [Ping timeout: 480 seconds]
cylm has joined #asahi-dev
chrisl has joined #asahi-dev
chadmed has quit [Quit: Konversation terminated!]
chadmed has joined #asahi-dev
hdbngr has quit [Ping timeout: 480 seconds]
chrisl has quit [Ping timeout: 480 seconds]
hdbngr has joined #asahi-dev
chrisl has joined #asahi-dev
chrisl has quit [Ping timeout: 480 seconds]
chrisl has joined #asahi-dev
hdbngr has quit [Ping timeout: 480 seconds]
chrisl has quit [Ping timeout: 480 seconds]
ravikant_ has quit [Ping timeout: 480 seconds]
hdbngr has joined #asahi-dev
chrisl has joined #asahi-dev
chrisl has quit [Ping timeout: 480 seconds]
Ariadne has quit [Remote host closed the connection]
Ariadne has joined #asahi-dev
chadmed has quit [Quit: Konversation terminated!]
chadmed has joined #asahi-dev
chrisl has joined #asahi-dev
chrisl has quit [Ping timeout: 480 seconds]
linuxgemini has quit [Quit: getting (hopefully fresh) air o/]
hdbngr has quit [Ping timeout: 480 seconds]
hdbngr has joined #asahi-dev
amarioguy has joined #asahi-dev
amarioguy has quit [Remote host closed the connection]
chrisl has joined #asahi-dev
linuxgemini has joined #asahi-dev
hdbngr has quit [Ping timeout: 480 seconds]
hdbngr has joined #asahi-dev
chrisl has quit [Ping timeout: 480 seconds]
hdbngr has quit [Ping timeout: 480 seconds]
chrisl has joined #asahi-dev
hdbngr has joined #asahi-dev
hamr has quit [Read error: Connection reset by peer]
hamr has joined #asahi-dev
hamr has quit []
hamr has joined #asahi-dev
chrisl has quit [Ping timeout: 480 seconds]
zumi_ has joined #asahi-dev
chrisl has joined #asahi-dev
hdbngr has quit [Ping timeout: 480 seconds]
zumi has quit [Ping timeout: 480 seconds]
zumi_ is now known as zumi
chrisl has quit [Ping timeout: 480 seconds]
hdbngr has joined #asahi-dev
chrisl has joined #asahi-dev
cylm_ has joined #asahi-dev
cylm has quit [Ping timeout: 480 seconds]
chrisl has quit [Ping timeout: 480 seconds]
hdbngr has quit [Ping timeout: 480 seconds]
chrisl has joined #asahi-dev
hdbngr has joined #asahi-dev
chrisl has quit [Ping timeout: 480 seconds]
hdbngr has quit [Read error: Connection reset by peer]
hdbngr has joined #asahi-dev
hdbngr has quit [Ping timeout: 480 seconds]
bgb has quit [Remote host closed the connection]
bgb has joined #asahi-dev
chrisl has joined #asahi-dev
ravikant_ has joined #asahi-dev
chrisl has quit [Ping timeout: 480 seconds]
cylm has joined #asahi-dev
cylm_ has quit [Ping timeout: 480 seconds]
chrisl has joined #asahi-dev
hdbngr has joined #asahi-dev
chaos_princess has quit [Quit: chaos_princess]
chrisl has quit [Ping timeout: 480 seconds]
chaos_princess has joined #asahi-dev
cylm_ has joined #asahi-dev
hdbngr has quit [Read error: Connection reset by peer]
cylm has quit [Ping timeout: 480 seconds]
hdbngr has joined #asahi-dev
ddxtanx has quit [Remote host closed the connection]
hdbngr has quit [Ping timeout: 480 seconds]
dhinakg has quit [Quit: dhinakg]
rivendell has joined #asahi-dev
john-cabaj has quit [Ping timeout: 480 seconds]
chadmed has quit [Quit: Konversation terminated!]
chadmed has joined #asahi-dev
chadmed has quit []
chadmed has joined #asahi-dev
chadmed has quit []
chadmed has joined #asahi-dev
john-cabaj has joined #asahi-dev
rivendell has quit [Ping timeout: 480 seconds]
rivendell has joined #asahi-dev
ravikant_ has quit [Ping timeout: 480 seconds]
ddxtanx has joined #asahi-dev
ansg191 has quit [Remote host closed the connection]
pb17 has quit [Ping timeout: 480 seconds]
pb17 has joined #asahi-dev
dhinakg has joined #asahi-dev
dhinakg has quit []
ansg191 has joined #asahi-dev
dhinakg has joined #asahi-dev
rivendell has quit [Quit: rivendell]
hdbngr has joined #asahi-dev
ddxtanx has quit [Remote host closed the connection]
hdbngr has quit [Ping timeout: 480 seconds]
ansg191 has quit [Remote host closed the connection]
ansg191 has joined #asahi-dev
ddxtanx has joined #asahi-dev
ddxtanx has quit [Remote host closed the connection]