mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-11 21:45:37 +00:00
seoul: fix ahci model busy bit handling
A warning, discovered during GCC 10.3 update, got fixed wrongly. Issue #4097
This commit is contained in:
parent
b22d9385f1
commit
b6b9801c20
@ -1 +1 @@
|
|||||||
d5d5885b5e485bc58d541b1f76a7518f169acc20
|
800924f3dc293d6c21d4e15fac0605ad4d7269b9
|
||||||
|
@ -4,7 +4,7 @@ DOWNLOADS := seoul.git
|
|||||||
|
|
||||||
URL(seoul) := https://github.com/alex-ab/seoul.git
|
URL(seoul) := https://github.com/alex-ab/seoul.git
|
||||||
# branch genode_21_05
|
# branch genode_21_05
|
||||||
REV(seoul) := dc21f28de3c9d1a4f99df6da346663ce191f1978
|
REV(seoul) := 5676b9efa5be9f1c9f7a8297ab462d76933896af
|
||||||
DIR(seoul) := src/app/seoul
|
DIR(seoul) := src/app/seoul
|
||||||
|
|
||||||
#
|
#
|
||||||
|
@ -13,7 +13,8 @@ create_boot_directory
|
|||||||
|
|
||||||
import_from_depot [depot_user]/src/[base_src] \
|
import_from_depot [depot_user]/src/[base_src] \
|
||||||
[depot_user]/src/init \
|
[depot_user]/src/init \
|
||||||
[depot_user]/src/nitpicker
|
[depot_user]/src/nitpicker \
|
||||||
|
[depot_user]/src/vfs_import
|
||||||
|
|
||||||
if {$use_fs_rump} {
|
if {$use_fs_rump} {
|
||||||
import_from_depot [depot_user]/src/vfs \
|
import_from_depot [depot_user]/src/vfs \
|
||||||
|
Loading…
x
Reference in New Issue
Block a user