Skip to content

Commit 4845e23

Browse files
committed
Retry CircleCI for 4.11 on debian 11 docker
- Add kgpe-d16 patch to remove HID for PCI devices (successful build on top of linuxboot#1101 and linuxboot#1012 per https://app.circleci.com/pipelines/github/tlaurion/heads/937/workflows/de49bea0-3f58-4a91-8891-87622f5a0eed) - CircleCI modified to build for coreboot 4.11 kgpe-d16_workstation on top of 4.15 passed workspace
1 parent 2a78c98 commit 4845e23

2 files changed

Lines changed: 29 additions & 8 deletions

File tree

.circleci/config.yml

Lines changed: 11 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -131,6 +131,7 @@ jobs:
131131
build:
132132
docker:
133133
- image: debian:10
134+
resource_class: large
134135
parameters:
135136
target:
136137
type: string
@@ -146,6 +147,7 @@ jobs:
146147
save_cache:
147148
docker:
148149
- image: debian:10
150+
resource_class: large
149151
steps:
150152
- attach_workspace:
151153
at: ~/
@@ -211,16 +213,18 @@ workflows:
211213
- x230-hotp-maximized
212214

213215
# Coreboot 4.11
214-
#- build_and_persist:
215-
# name: librem_l1um
216-
# target: librem_l1um
217-
# subcommand: ""
218-
# requires:
219-
# - x230-hotp-maximized
216+
- build_and_persist:
217+
name: kgpe-d16_workstation
218+
target: kgpe-d16_workstation
219+
subcommand: ""
220+
requires:
221+
- librem_14
220222

223+
#Cache one workspace per Coreboot version, ideally the boards including the highest number of modules, since not rebuilt across builds.
224+
#Below, 4.11, 4.13, 4.15
221225
- save_cache:
222226
requires:
223-
- librem_14
227+
- kgpe-d16_workstation
224228

225229
#
226230
#
@@ -452,7 +456,6 @@ workflows:
452456
requires:
453457
- librem_14
454458

455-
#KGPE-D16 turned off because CircleCI built time needs to be optimized. Kernel doesn't seem to enforce MAKE_JOBS properly
456459
#- build:
457460
# name: kgpe-d16_workstation-usb_keyboard
458461
# target: kgpe-d16_workstation-usb_keyboard
Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,18 @@
1+
--- ./src/mainboard/asus/kgpe-d16/dsdt.asl.orig 2021-10-15 16:17:56.496000000 -0400
2+
+++ ./src/mainboard/asus/kgpe-d16/dsdt.asl 2021-10-15 16:27:27.393000000 -0400
3+
@@ -126,7 +126,6 @@
4+
{
5+
/* BUS0 root bus */
6+
7+
- Name (_HID, EisaId ("PNP0A08")) /* PCI-e root bus (SR5690) */
8+
Name (_CID, EisaId ("PNP0A03")) /* PCI root bus (SP5100) */
9+
Name (_ADR, 0x00180001)
10+
Name (_UID, 0x00)
11+
@@ -483,7 +482,6 @@
12+
13+
/* 0:14.3 SP5100 LPC */
14+
Device (LPC) {
15+
- Name (_HID, EisaId ("PNP0A05"))
16+
Name (_ADR, 0x00140003)
17+
18+
/* Real Time Clock Device */

0 commit comments

Comments
 (0)